'Vdm sl' presentation slideshows

An introduction to specification in VDM-SL

An introduction to specification in VDM-SL. At the end of this lecture you should be able to:. write a formal specification of a system in VDM-SL; correlate the components of a UML class diagram with those of a VDM specification;

1.06k views • 36 slides

VDM to Java

VDM to Java. Learning Outcomes. At the end of this lecture you should be able to:. Evaluate the suitability of Java for the implementation of VDM specifications; Translate simple VDM-SL types into Java types; Translate a VDM specification into a Java class;

351 views • 19 slides

Potential thesis projects

229 views • 16 slides