Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:dsfl:ay_1718:main [2017/10/30 16:47]
127.0.0.1 external edit
+++ didattica:magistrale:dsfl:ay_1718:main [2020/09/17 16:55] (current)
@@ Line 3: / Line 3: @@
 ===== News =====
 <WRAP center round important 95%>
-  * <wrap em>November 6th, 2017: first in-itinere test</wrap>
+  * January 17th, 2018: second in-itinere test
+  * November 6th, 2017: first in-itinere test
   * October 16th, 2017: the lecture is postponed
   * October 2nd, 2017: first lecture
@@ Line 78: / Line 79: @@
   * {{ :didattica:magistrale:dsfl:ay_1718:pi-calculus_notes.pdf |Pi-calculus personal notes}}
   * {{ :didattica:magistrale:dsfl:facpl_long.pdf |FACPL}}
+  * {{ :didattica:magistrale:dsfl:ay_1718:klaim_1718.pdf |Klaim}}
-  * {{ :didattica:magistrale:dsfl:ay_1718:klaim.pdf | Klaim }}
   * {{ :didattica:magistrale:dsfl:ay_1718:foundational_calculi_for_network_aware_programming_.pdf |Calculi for network-aware programming}}
   * {{ :didattica:magistrale:dsfl:ay_1718:soc.pdf |An overview of SOC}}
@@ Line 86: / Line 87: @@
 **Tools**
+  * [[http://facpl.sourceforge.net|FACPL]]
   * {{ :didattica:magistrale:dsfl:ay_1718:klava-2b.jar.zip |Klava}}
@@ Line 97: / Line 99: @@
   * 25 October 2017: Examples on Pi-calculus labelled semantics. Intro to access control systems.
   * 30 October 2017: FACPL syntax, semantics and examples.
+  * 06 November 2017: in itinere test.
+  * 08 November 2017: analysis of FACPL policies; FACPL toolchain.
+  * 13 November 2017: Klaim syntax and semantics.
+  * 15 November 2017: Introduction to the service-oriented computing domain; intro to COWS.
+  * 27 November 2017: COWS.
+  * 29 November 2017: From simple sensors to intelligent sensors in the Internet of Things ...and how Machine Learning comes into the picture.
+  * 17 January 2018: in itinere test.