Form course programme CSC-MTV 2015-2016

MSc COMPUTER SCIENCE (CSC)

Specialization: Methods and Tools Verification (MTV)

Programme mentor: dr. M. Huisman Date registration BOZ: _______________________academic year 2015-2016____________________________

Year enrollment MSc CS:

Name : Student number:

Telephone :

_________________________________________________________________________

Credits *

Homologation courses

___________ __________________________________________________ ...

___________ __________________________________________________ ...

___________ __________________________________________________ ...

Basic courses

192111092 Advanced Logic 5

192135310 Modelling and Analysis of Concurrent Systems 1 5

192140122 System Validation 5

192170015 Testing Techniques 5

20

At least 20 ec of the following courses (basic subjects)

191520751 Graph Theory ...

191561560 Systems and Control ...

191580251 Mathematical Programming ...

201200006 Quantitative Evaluation of Embedded Systems ...

192130092 Fault Tolerant digital systems ...

192620300 Performance evaluation ...

192135450 ADSA-Model Driven Engineering ...

201400170 Best Practices in Software Development ...
201400200 Capita Selecta for MTV ...
201400173 Concepts in Programming Languages ...
191210430 Engineering System Dynamics ...
201500032 Software Security and Hacking ...

192330301 Specification of Information Systems …

Alternatively you can choose to exchange one basic subject course for an advanced course _______

At least 15 ec from the following courses (advanced subjects)

192114100 Principles of model checking ...

201300042 Limits to Computing ...

191581420 Optimization Modelling ...
192135320 Modelling and Analysis of Concurrent Systems 2 ...

192114300 Program Verification ... _______

...

Free subjects

___________ __________________________________________________ ...

___________ __________________________________________________ ...

___________ __________________________________________________ ...

___________ __________________________________________________ ...

___________ __________________________________________________ ...
_______

...

Graduation

192199508 Research topics 10

191612680 Computer Ethics 5

192199978 Final project (supervision FMT) 30

45

__________________________________________________________________________________________________ TOTAL at least 120 credits ...

Total at least 120 credits …

Further comment:

__________________________________________________________________________________________________

__________________________________________________________________________________________________

__________________________________________________________________________________________________

__________________________________________________________________________________________________

Signature dr. M. Huisman: Signature student:

Date: _____________________________ Date:

* Credits/ECTS: European Credit Transfer System. One year of study is 60 credits.