1 / 5

Dr Aaron Kans a.kans@uel.ac.uk

MSc Dissertation Topics. Dr Aaron Kans a.kans@uel.ac.uk. 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.

colby-moon
Download Presentation

Dr Aaron Kans a.kans@uel.ac.uk

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. MSc Dissertation Topics Dr Aaron Kans a.kans@uel.ac.uk

  2. MSc Dissertation Topics Formal Methods • An evaluation of formal modelling tools (such as ToolBox and SpecBox).

  3. 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

  4. MSc Dissertation Topics Formal Methods + Programming • Implementing VDM-SL specifications in a language other than Java.

  5. MSc Dissertation Topics The Next Step • Send me an email with • A project proposal • Initial literature research (2 pages) • Your CV

More Related