Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:dsfl:ay_1718:main [2017/10/02 23:25] tiezzi [Exams] |
didattica:magistrale:dsfl:ay_1718:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== News ===== | ===== News ===== | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| + | * 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 | * October 2nd, 2017: first lecture | ||
| </WRAP> | </WRAP> | ||
| Line 13: | Line 16: | ||
| **Lessons schedule**: | **Lessons schedule**: | ||
| - | * Monday 14 - 16 (room AB2) | + | * Monday 14 - 17 (room AB2) |
| - | * Wednesday 11 - 13 (room AB2) | + | * Wednesday 11 - 14 (room AB2) |
| **Students Office hours**: | **Students Office hours**: | ||
| Line 70: | Line 73: | ||
| **Course Slides** | **Course Slides** | ||
| * {{ :didattica:magistrale:dsfl:ay_1718:dsfl_intro_17-18.pdf |General information and introduction}} | * {{ :didattica:magistrale:dsfl:ay_1718:dsfl_intro_17-18.pdf |General information and introduction}} | ||
| + | * {{ :didattica:magistrale:dsfl:ay_1718:preliminaries.pdf |Preliminaries}} | ||
| * {{ :didattica:magistrale:dsfl:ay_1718:slides_ccs.pdf |CCS}} | * {{ :didattica:magistrale:dsfl:ay_1718:slides_ccs.pdf |CCS}} | ||
| - | * {{ :didattica:magistrale:dsfl:ay_1718:parrow--an_introduction_to_the_pi-calculus.pdf |J. Parrow. An introduction to the pi-calculus}} | + | * {{ :didattica:magistrale:dsfl:ay_1718:parrow--an_introduction_to_the_pi-calculus.pdf |J. Parrow. An introduction to the pi- |
| - | * {{ :didattica:magistrale:dsfl:ay_1718:klaim.pdf | Klaim }} | + | calculus}} |
| + | * {{ :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:foundational_calculi_for_network_aware_programming_.pdf |Calculi for network-aware programming}} | * {{ :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}} | * {{ :didattica:magistrale:dsfl:ay_1718:soc.pdf |An overview of SOC}} | ||
| * {{ :didattica:magistrale:dsfl:ay_1718:cows.pdf |COWS}} | * {{ :didattica:magistrale:dsfl:ay_1718:cows.pdf |COWS}} | ||
| * {{ :didattica:magistrale:dsfl:ay_1718:analysis_with_cows.pdf |Analysis of SOC systems with COWS}} | * {{ :didattica:magistrale:dsfl:ay_1718:analysis_with_cows.pdf |Analysis of SOC systems with COWS}} | ||
| - | * {{ :didattica:magistrale:dsfl:ay_1718:facpl.pdf |FACPL}} | ||
| **Tools** | **Tools** | ||
| + | * [[http://facpl.sourceforge.net|FACPL]] | ||
| * {{ :didattica:magistrale:dsfl:ay_1718:klava-2b.jar.zip |Klava}} | * {{ :didattica:magistrale:dsfl:ay_1718:klava-2b.jar.zip |Klava}} | ||
| **Lectures** | **Lectures** | ||
| - | * 2 October 2017: General information and introduction | + | * 2 October 2017: General information and introduction. |
| + | * 4 October 2017: Sw intensive systems; process algebraic approach; formal methods for reactive systems. Preliminary notions. | ||
| + | * 9 October 2017: CCS syntax and semantics; CCS examples. | ||
| + | * 11 October 2017: external and internal choice; Value passing CCS. Pi-calculus syntax and structural congruence. | ||
| + | * 18 October 2017: Pi-calculus reduction semantics; examples. | ||
| + | * 23 October 2017: Pi-calculus labelled semantics; examples. | ||
| + | * 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. | ||
| + | |||
