-
Computer Science
-
Studies
-
During studies
-
NF-AF
-
Service Information Technology
MSc Appl CS
INF-MSc-319: Logical Methods of Software Engineering [b][c] INF-MSc-320: Model-based software techniques for secure systems[ c ] INF-MSc-325: Logical Methods of Software Engineering 1 (LMSE1) [j ] INF-MSc-326: [...] following modules are recognized for this module: INF-MSc-310: Software Architectures [c] . INF-MSc-312: Component and Service-Oriented Software Design [b][c] INF-MSc-313: Aspect-Oriented Development of Complex [...] INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) [j ] INF-MSc-401: Modeling, Simulation, and Analysis [c] INF-MSc-402: Modeling of Distributed Algorithms [g] INF-MSc-503: Data Visualization [c …