cours:mit_2016_2017
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| cours:mit_2016_2017 [2017/01/09 17:10] – [Lecture 4 : Synchronous language for formal validation - application to CEP (complex event processing)] ressouche | cours:mit_2016_2017 [2017/12/17 09:44] (Version actuelle) – [ARCHIVES] tigli | ||
|---|---|---|---|
| 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:tutorial_coap_mit_2015_2016.pdf|Tutorial on HTTP RESTFul | + | {{:cours:2016_2017_iot_lecture_3_service_oriented_middleware_for_iot.-_rest_and_coap.pdf|Service oriented Middleware |
| + | {{: | ||
| + | |||
| + | * Other References : | ||
| {{: | {{: | ||
| + | A Perspective on the Future of Middleware-based Software Engineering, | ||
| Ligne 158: | Ligne 168: | ||
| [[http:// | [[http:// | ||
| - | ==== Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher) | + | ==== 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 | + | * {{:cours:swot.pdf| Slides of the Lecture |
| + | * {{: | ||
| + | |||
| + | * {{: | ||
| ==== Lecture 8 : Final Exam ==== | ==== Lecture 8 : Final Exam ==== | ||
| Ligne 208: | Ligne 221: | ||
| ===== ARCHIVES ===== | ===== ARCHIVES ===== | ||
| - | [[cours: | + | [[cours: |
| + | |||
| + | [[cours: | ||
| + | |||
| + | ===== EVOLUTIONS futures ===== | ||
| + | |||
| + | [[cours: | ||
cours/mit_2016_2017.1483981846.txt.gz · Dernière modification : 2017/01/09 17:10 de ressouche