prelim planning

diff --git a/planning.txt b/planning.txt
new file mode 100644 (file)
index 0000000..6ce598a
--- /dev/null
+++ b/planning.txt
@@ -0,0 +1,13 @@
+Semester 1
+NWI-I00032     6       Advanced Programming
+NWI-I00110     6       Testing Techniques
+NWI-I00155     6       Design of Embedded Systems
+
+Semester 2
+NWI-IMC046     6       Model Checking
+NWI-IMC045     6       Research Seminar Software Science
+NWI-IMC004     6       Compiler Construction
+
+Semester 3
+
+Semester 4

diff --git a/vakken.txt b/vakken.txt
index 81768bb..a27ee57 100644 (file)
--- a/vakken.txt
+++ b/vakken.txt
@@ -1 +1,42 @@
 Vakkenlijst
+
+Track basis (18 ec)
+NWI-I00032     1       6       Advanced Programming
+NWI-I00110     1       6       Testing Techniques
+NWI-IMC046     2       6       Model Checking
+
+Track electives (24 ec)
+Software Technology
+NWI-IMC004     2       6       Compiler Construction
+NWI-I00155     1       6       Design of Embedded Systems
+NWI-IMC052     1       6       Software Development in Start-ups
+NWI-IMC051     1       5       Software Security
+
+Computer-Aided Analysis:
+NWI-IMC035     2       6       Software Analysis
+NWI-IMC009     ?       6       Automated Reasoning [NOT OFFERED IN 2015-2016]
+NWI-I00139     2       6       Proof Assistants
+
+Theory of Computation
+NWI-IMC010     ?       6       Type Theory and Coq
+NWI-IMC011     2       6       Semantics and Domain Theory
+NWI-IMC036     1?      6       Coalgebra
+NWI-WM072B     2       Complexity Theory OR NEXT LINE
+NWI-WM120B     ?       8       Computability theory
+
+Track specific research seminar
+NWI-IMC045     2       6       Research Seminar Software Science
+
+Research internship (15 ec)
+NWI-IMC047     3       15      Research Internship
+
+Track-external choice (12 ec)
+
+Computer science and society (3 ec)
+WI-IMI003      3       Philosophy and Ethics for Computing and Information Science
+
+Free electives (12 ec)
+
+Master thesis project (30 ec)
+NWI-IMC029     4       30      Master's thesis in Computing Science
+