Software Engineering and Formal Methods (clusters: SET, FSA)

Scheme

Year 1

Q1

Q2

Q3

Q4

2IMF30 System Validation C1

2IMF25 Automated Reasoning B2,B3

2IMN10 Architecture of Distributed Systems D

Additional core course needed -- choose one of: 2IMA10 Advanced Algorithms (Algorithms), 2IMD10 Engineering Data-Intensive Systems (Data Engineering), 2IMN15 Internet of Things (Resource-Constrained Systems), TBD-VISFM Visualization Foundations and Methods (Visualization & Computer Graphics). Choosing 2IMP40 (Software Engineering) would complete this plan's existing Software Engineering deepening (2IMP10, 2IMP20, 2IMP25).

2IMF35 Algorithms for Model Checking A1

2IMP10 Program Verification Techniques D1

TBD-ETHICS Ethics of Digital Technologies

Additional core course needed -- choose one of: 2IMA10 Advanced Algorithms (Algorithms), 2IMD10 Engineering Data-Intensive Systems (Data Engineering), 2IMN15 Internet of Things (Resource-Constrained Systems), TBD-VISFM Visualization Foundations and Methods (Visualization & Computer Graphics).

2IMF15 Proving with Computer Assistance A1,E2

2IMP25 Software Evolution E1

2IMF10 Concurrency Theory E1

2IMP20 Domain Specific Language Design D2

Choose one of 2IMP00 Seminar SET or 2IMF00 Seminar FSA

Year 2

Q1

Q2

Q3

Q4

2IMC05 Preparation Graduation Project

2IMC00 Master Project

Algorithms Data Engineering Formal Methods Resource-Constrained Systems Software Engineering Visualization & Computer Graphics

Export as .xlsx Export as .png Export as .png (with electives) Export electives as .png

Pool choices

This curriculum's requirement groups reference these roles instead of a fixed course collection -- pick which of this version's collections each one means for this plan (e.g. which trajectory is your "major").

Requirements

Requirement	Detail	Credits
Core courses		15 EC / 15 EC	✓
Ethics of Digital Technologies		1 course / 1 course	✓
Free electives		5 EC / 15 EC
CSE electives		15 EC / 20 EC
Specialization 1	10 EC over the cap counts elsewhere	10 EC / 10 EC	✓
Specialization 2	5 EC over the cap counts elsewhere	10 EC / 10 EC	✓
Seminar		1 course / 1 course	✓
Graduation project		40 EC / 40 EC	✓
Total		105 / 120 EC

Entries (15)

Year	Quarter	Requirement	Course	Credits
1	Q1	Core courses	Additional core course needed -- choose one of: 2IMA10 Advanced Algorithms (Algorithms), 2IMD10 Engineering Data-Intensive Systems (Data Engineering), 2IMN15 Internet of Things (Resource-Constrained Systems), TBD-VISFM Visualization Foundations and Methods (Visualization & Computer Graphics). Choosing 2IMP40 (Software Engineering) would complete this plan's existing Software Engineering deepening (2IMP10, 2IMP20, 2IMP25).	5 EC
1	Q1	Specialization 1	`2IMF25` Automated Reasoning	5 EC
1	Q1	Core courses	`2IMF30` System Validation	5 EC
1	Q1	Free electives	`2IMN10` Architecture of Distributed Systems	5 EC
1	Q2	Core courses	Additional core course needed -- choose one of: 2IMA10 Advanced Algorithms (Algorithms), 2IMD10 Engineering Data-Intensive Systems (Data Engineering), 2IMN15 Internet of Things (Resource-Constrained Systems), TBD-VISFM Visualization Foundations and Methods (Visualization & Computer Graphics).	5 EC
1	Q2	Specialization 1	`2IMF35` Algorithms for Model Checking	5 EC
1	Q2	Specialization 2	`2IMP10` Program Verification Techniques	5 EC
1	Q2	Ethics of Digital Technologies	`TBD-ETHICS` Ethics of Digital Technologies	5 EC
1	Q3	Specialization 1	`2IMF15` Proving with Computer Assistance	5 EC
1	Q3	Specialization 2	`2IMP25` Software Evolution	5 EC
1	Q4	Seminar	Choose one of 2IMP00 Seminar SET or 2IMF00 Seminar FSA	5 EC
1	Q4	Specialization 1	`2IMF10` Concurrency Theory	5 EC
1	Q4	Specialization 2	`2IMP20` Domain Specific Language Design	5 EC
2	Q2	Graduation project	`2IMC05` Preparation Graduation Project	10 EC
2	Q3-Q4	Graduation project	`2IMC00` Master Project	30 EC

Elective slots

Leave a quarter's elective open rather than committing it to a specific course yet -- rendered as a blank "Elective" placeholder in the scheme above, same as the institutional scheme's own elective slots. Doesn't count toward any requirement's credit total; see "Recommended electives" below for options to fill it with.

Recommended electives

Reference list of good elective options for this plan's open elective slots above -- purely informational, not tied to a specific slot and not counted toward any requirement's credit total. A recommendation with a quarter also appears in its own "Recommended electives" block in the Scheme above, right after Year 1 and Year 2.

No recommendations yet.