VDM-SL(ID:834/vdm002)

Vienna Development Method Specification Language. (Also known as Meta-IV.) Model-oriented specification language, upon which the Vienna Development Method is based.

ISO draft Apr 1993. Version: BSI/VDM.

ftp://gateway.dec.com/pub/vdmsl_standard

info: derek@mcs.le.ac.uk
Related languages
Vienna Definition Language => VDM-SL   Evolution of
VDM-SL => Deva   Evolution of
VDM-SL => VDM++   Extension of
References:
  • Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978. view details
  • Jones, C.B. "Systematic Software Development Using VDM", P-H 1989 view details