Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
cours:mit_2016_2017 [2017/01/09 18:10] ressouche [Lecture 4 : Synchronous language for formal validation - application to CEP (complex event processing)] |
cours:mit_2016_2017 [2017/12/17 10:44] (Version actuelle) tigli [ARCHIVES] |
||
---|---|---|---|
Ligne 24: | Ligne 24: | ||
**// | **// | ||
+ | |||
+ | |||
+ | ===== Evaluation Rules : ===== | ||
+ | |||
+ | - Lecture 4 : Tutorial evaluation of the Modeled Complex Event Processes using Synchronous languages approaches and model checking | ||
+ | - During Lecture 6 : MCQ about all the courses and tutorials before | ||
+ | - Final exam 02/07/17 : MCQ about all the courses and tutorials before and reading and comments on given technological and research paper about IoT. | ||
Ligne 141: | Ligne 148: | ||
From IoT to WoT/WSD - Tutorial HTTP/CoAP - WS/REST - WSD | From IoT to WoT/WSD - Tutorial HTTP/CoAP - WS/REST - WSD | ||
- | {{:cours:2015_2016_iot_lecture_3_service_oriented_middleware_for_iot.pdf|Service oriented Middleware and IoT}} | ||
- | {{:cours:tutorial_coap_mit_2015_2016.pdf|Tutorial on HTTP RESTFul and CoAP}} | + | {{:cours:2016_2017_iot_lecture_3_service_oriented_middleware_for_iot.-_rest_and_coap.pdf|Service oriented Middleware and IoT}} |
+ | {{:cours:tutorial_rest_coap_mit_2016_2017.pdf|Tutorial on HTTP RESTFul and CoAP}} | ||
+ | |||
+ | * Other References : | ||
{{:cours:coap_simple_service.zip| Zip file of a .Net C# solution with a simple CoAP client and server based on CoAP.Net library}} | {{:cours:coap_simple_service.zip| Zip file of a .Net C# solution with a simple CoAP client and server based on CoAP.Net library}} | ||
+ | A Perspective on the Future of Middleware-based Software Engineering, Valérie Issarny, Mauro Caporuscio, Nikolaos Georgantas, Workshop on the Future of Software Engineering : FOSE 2007, 2007, Minneapolis, United States. pp.244-258, 2007, [[https://hal.inria.fr/inria-00415919/document|pdf file]] | ||
Ligne 158: | Ligne 168: | ||
[[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]] | [[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]] | ||
- | ==== Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher) - Opportunistic Composition ==== | + | ==== Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher) ==== |
---- | ---- | ||
Ligne 166: | Ligne 176: | ||
Lecturer : G. Rocher, GFI Informatique | Lecturer : G. Rocher, GFI Informatique | ||
- | {{:cours:lecture_6_swot.pdf|| Slides of the course on Semantic Web of Things}} | + | * {{:cours:swot.pdf| Slides of the Lecture on Semantic Web of Things }} |
+ | * {{:cours:swot_tutorial.pdf| Tutorial on Semantic Web of Things }} | ||
+ | |||
+ | * {{:cours:tutorial_files_owl_for_swot.zip|Package of files .owl for the tutorial}} | ||
==== Lecture 8 : Final Exam ==== | ==== Lecture 8 : Final Exam ==== | ||
Ligne 208: | Ligne 221: | ||
===== ARCHIVES ===== | ===== ARCHIVES ===== | ||
- | [[cours:mit_2015_2016|Middleware for Internet of Things (IFI/SI5/Unbinet)]] | + | [[cours:mit_2015_2016|Middleware for Internet of Things (IFI/SI5/Unbinet) 2015 2016]] |
+ | |||
+ | [[cours:mit_2016_2017|Middleware for Internet of Things (IFI/SI5/Unbinet) 2016 2017]] | ||
+ | |||
+ | ===== EVOLUTIONS futures ===== | ||
+ | |||
+ | [[cours:mit_2017_2018|Evolutions 2017 2018 ]] |