Embed Size (px)
DESCRIPTION
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. - PowerPoint PPT Presentation
Citation preview
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
