Differences

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

Link to this comparison view

Next revision
Previous revision
didattica:magistrale:ess:ay_1516:main [2016/02/15 00:31]
mescal created
didattica:magistrale:ess:ay_1516:main [2020/09/17 16:55] (current)
Line 6: Line 6:
   * [[didattica:​magistrale:​ad:​ay_1516:​main|Advanced Databases]] (6 CFU)   * [[didattica:​magistrale:​ad:​ay_1516:​main|Advanced Databases]] (6 CFU)
   * [[didattica:​magistrale:​bpmf:​ay_1516:​main|Business Process Management and Flexibility]] (6 CFU)   * [[didattica:​magistrale:​bpmf:​ay_1516:​main|Business Process Management and Flexibility]] (6 CFU)
-  * [[didattica:​magistrale:​kebi:​ay_1516:​main|Knowledge ​Management ​and Business Intelligence]] (6 CFU)+  * [[didattica:​magistrale:​kebi:​ay_1516:​main|Knowledge ​Engineering ​and Business Intelligence]] (6 CFU)
   * [[didattica:​magistrale:​abit:​ay_1516:​main|Alignment of Business and IT]] (6 CFU)   * [[didattica:​magistrale:​abit:​ay_1516:​main|Alignment of Business and IT]] (6 CFU)
-**Selection in SMV group** (6 CFU):+**Selection in ESS group** (6 CFU):
   * [[didattica:​magistrale:​ds:​ay_1516:​main|Distributed Systems]] (6 CFU)   * [[didattica:​magistrale:​ds:​ay_1516:​main|Distributed Systems]] (6 CFU)
-  * [[didattica:​magistrale:​flc:​ay_1516:​main|Formal Languages and Compilers]] (6 CFU) 
   * [[didattica:​magistrale:​fmsis:​ay_1516:​main|Formal Modeling of Software Intensive Systems]] (6 CFU)   * [[didattica:​magistrale:​fmsis:​ay_1516:​main|Formal Modeling of Software Intensive Systems]] (6 CFU)
 +  * [[didattica:​magistrale:​kmcd:​ay_1516:​main|Knowledge Management and Competence Development]] (6 CFU)
   * [[didattica:​magistrale:​its:​ay_1516:​main|IT Security]] (6 CFU)   * [[didattica:​magistrale:​its:​ay_1516:​main|IT Security]] (6 CFU)
   * [[didattica:​magistrale:​qns:​ay_1516:​main|Queuing Network: Simulation]] (6 CFU)   * [[didattica:​magistrale:​qns:​ay_1516:​main|Queuing Network: Simulation]] (6 CFU)
-  * [[didattica:​magistrale:​rsv:​ay_1516:​main|Reactive Systems Verification]] (6 CFU)+  * [[didattica:​magistrale:​rsv:​ay_1516:​main|Reactive Systems Verification ​alias Model Checking I ]] (6 CFU)
 </​WRAP>​ </​WRAP>​