IEC - International Electrotechnical Commission - ISO/IEC 13817-1:1996

Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language

published
Buy Now
Organization: IEC - International Electrotechnical Commission
Publication Date: 19 December 1996
Status: published
Page Count: 399
ICS Code (Languages used in information technology): 35.060
abstract:

Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static... View More

Document History

ISO/IEC 13817-1:1996
December 19, 1996
Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static...
Advertisement