didattica:magistrale:ess:ay_1516:main [Computer Science @ Unicam]

Link to this comparison view

--- 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: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)
-**Selection in SMV group** (6 CFU):
+**Selection in ESS group** (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:kmcd:ay_1516:main|Knowledge Management and Competence Development]] (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: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>