Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:ias:ay_1819:main [2018/09/19 12:25] luca |
didattica:magistrale:ias:ay_1819:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| * [[didattica:magistrale:ml:ay_1819:main|Machine Learning]] (6 ECTS) - 1st Semester | * [[didattica:magistrale:ml:ay_1819:main|Machine Learning]] (6 ECTS) - 1st Semester | ||
| * [[didattica:magistrale:svl:ay_1819:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | * [[didattica:magistrale:svl:ay_1819:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | ||
| - | * [[didattica:magistrale:rsv:ay_1819:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) | + | * [[didattica:magistrale:lcp:ay_1819:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester |
| - | **Selection in SMV group** (6 CFU to be selected among the following ones): | + | **IAS Selection - Group II** (6 ECTS to be selected among the following ones): |
| - | * [[didattica:magistrale:bpmf:ay_1819:main|Business Process Management and Flexibility]] (6 CFU) | + | * [[didattica:magistrale:com:ay_1819:main|Compilers]] (6 ECTS) - 1st Semester |
| - | * [[didattica:magistrale:ds:ay_1819:main|Distributed Systems]] (6 CFU) | + | * [[didattica:magistrale:qns:ay_1819:main|Queueing Networks: Simulation]] (6 ECTS) - 2nd Semester |
| - | * [[didattica:magistrale:its:ay_1819:main|IT Security]] (6 CFU) | + | * [[didattica:magistrale:ds:ay_1819:main|Distributed Systems]] (6 ECTS) - 2nd Semester |
| - | * [[didattica:magistrale:qns:ay_1819:main|Queuing Network: Simulation]] (6 CFU) | + | |
| </WRAP> | </WRAP> | ||
| - | **2nd year** (students enrolled in 2017-2018) | + | **2nd year** (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum) |
| <WRAP center round box 95%> | <WRAP center round box 95%> | ||
| - | **Compulsory Exams** (12 CFU): | + | **Compulsory Exams - Group I** (12 ECTS): |
| - | * [[didattica:magistrale:rtpsv:ay_1819:main|Real-time and Probabilistic System Verification]] (6 CFU) | + | * [[didattica:magistrale:com:ay_1819:main|Compilers (substitutes Formal Languages and Compilers)]] (6 ECTS) - 1st Semester |
| - | * [[didattica:magistrale:dsfl:ay_1819:main|Domain Specific Formal Languages]] (6 CFU) | + | * [[didattica:magistrale:ml:ay_1819:main|Machine Learning (substitutes Big Data Analytics)]] (6 ECTS) - 1st Semester |
| </WRAP> | </WRAP> | ||
