Transcript Slide 1

MSc Dissertation Topics
Dr Aaron Kans
[email protected]
MSc Dissertation Topics
Formal Methods
• An evaluation of formal
modelling tools (such as
ToolBox and SpecBox).
MSc Dissertation Topics
Formal Methods +
Java Programming
• A case study in formal
development.
• Implement VDM-SL in Java 6
• A comparison of JML & VDM-SL
MSc Dissertation Topics
Formal Methods +
Programming
• Implementing VDM-SL
specifications in a language
other than Java.
MSc Dissertation Topics
The Next Step
Send me an email with
• A project proposal
• Initial literature research
(2 pages)
• Your CV