Differences

This shows you the differences between two versions of the page.

Link to this comparison view

course:vdm [2017/08/11 14:47]
mht208 created
course:vdm [2017/09/06 14:47] (current)
mht208
Line 1: Line 1:
 The Vienna Development Method (VDM) is a software development methodology since the 1970s. VDM specification language (VDM-SL) models software systems at a higher level of abstraction. Through the modeling with VDM-SL, analysis of software designs and identification of key features can be achieved at an early stage of software development. This lecture will cover the basic modeling and analysis techniques of VDM-SL. We will also discuss some examples and industrial applications of VDM. The Vienna Development Method (VDM) is a software development methodology since the 1970s. VDM specification language (VDM-SL) models software systems at a higher level of abstraction. Through the modeling with VDM-SL, analysis of software designs and identification of key features can be achieved at an early stage of software development. This lecture will cover the basic modeling and analysis techniques of VDM-SL. We will also discuss some examples and industrial applications of VDM.
  
 +{{ :​course:​flolac2017_vdm_combined.pdf |Slides}}, {{ :​course:​flolac2017_vdm_homework.pdf |Homework}}