Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:smv:ay_1617:main [2016/09/07 19:04] mescal |
didattica:magistrale:smv:ay_1617:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Software Modeling and Verification (SMV) ====== | ====== Software Modeling and Verification (SMV) ====== | ||
| - | **1st year** | + | **1st year** (coorte 2016-2017) |
| <WRAP center round box 95%> | <WRAP center round box 95%> | ||
| **Compulsory Exams** (24 CFU): | **Compulsory Exams** (24 CFU): | ||
| * [[didattica:magistrale:dcc:ay_1617:main|Distributed Calculus and Coordination]] (12 CFU) | * [[didattica:magistrale:dcc:ay_1617:main|Distributed Calculus and Coordination]] (12 CFU) | ||
| - | * [[didattica:magistrale:fmsis:ay_1617:main|Formal Modeling of Software Intensive Systems]] (6 CFU) | + | * [[didattica:magistrale:fmsis:ay_1617:main|Formal Modeling of Software Intensive Systems]] (6 CFU) |
| - | * [[didattica:magistrale:rsv:ay_1617:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) | + | * [[didattica:magistrale:rsv:ay_1617:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) |
| - | **Selection in SMV group** (6 CFU): | + | **Selection in SMV group** (6 CFU to be selected among the following ones): |
| * [[didattica:magistrale:bpmf:ay_1617:main|Business Process Management and Flexibility]] (6 CFU) | * [[didattica:magistrale:bpmf:ay_1617:main|Business Process Management and Flexibility]] (6 CFU) | ||
| * [[didattica:magistrale:ds:ay_1617:main|Distributed Systems]] (6 CFU) | * [[didattica:magistrale:ds:ay_1617:main|Distributed Systems]] (6 CFU) | ||
| * [[didattica:magistrale:flc:ay_1617:main|Formal Languages and Compilers]] (6 CFU) | * [[didattica:magistrale:flc:ay_1617:main|Formal Languages and Compilers]] (6 CFU) | ||
| - | * [[didattica:magistrale:kebi:ay_1617:main|Knowledge Engineering and Business Intelligence]] (6 CFU) | ||
| - | * [[didattica:magistrale:ius:ay_1617:main|Internetworking Ubiquitous Systems]] (6 CFU) | ||
| - | * [[didattica:magistrale:its:ay_1617:main|IT Security]] (6 CFU) | ||
| * [[didattica:magistrale:qns:ay_1617:main|Queuing Network: Simulation]] (6 CFU) | * [[didattica:magistrale:qns:ay_1617:main|Queuing Network: Simulation]] (6 CFU) | ||
| </WRAP> | </WRAP> | ||
| - | **2nd year** | + | **2nd year** (coorte 2015-2016) |
| - | **Compulsory Exams** (12 CFU): | + | <WRAP center round box 95%> |
| - | * [[didattica:magistrale:dcc:ay_1617:main|Distributed Calculus and Coordination]] (12 CFU) | + | **Compulsory Exams** (12 CFU): |
| - | * [[didattica:magistrale:fmsis:ay_1617:main|Formal Modeling of Software Intensive Systems]] (6 CFU) | + | * [[didattica:magistrale:rtpsv:ay_1617:main|Real-time and Probabilistic System Verification]] (6 CFU) |
| + | * [[didattica:magistrale:dsfl:ay_1617:main|Domain Specific Formal Languages]] (6 CFU) | ||
| + | </WRAP> | ||
