H ? « ‹ ← → › »

Language peer sets for VDM-SL:
Austria↑
Austria/1978↑
Designed 1978 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

VDM-SL(ID:834/vdm002)

alternate simple view
Country: Austria
Designed 1978
Published: 1978

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, (1978) Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.
  • Jones, C.B. (1989) Jones, C.B. "Systematic Software Development Using VDM", P-H 1989
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder