標準號：ANSI ISO/IEC 13817-1-1996
中文標準名稱：信息技術.程序設計語言及其環(huán)境與系統(tǒng)應用程序接口.維也納開發(fā)方法.規(guī)范語言.第1部分:INCITS采納的底層語言
英文標準名稱：Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language Adopted by INCITS
標準類型：L74
發(fā)布日期：1999/12/31 12:00:00
實施日期：1999/12/31 12:00:00
中國標準分類號：L74
國際標準分類號：35.060
適用范圍：This International Standard specifies specification language the Vienna Development Method Specification Language. Specifies: two representations: the mathematical and interchange; the syntax; the static semantics; the dynamic semantics; conformity for specifications and tools. Does't specify: the proof obligations; the reification rules; the size or complexity of a specification that will exceed the capacity of any specific data processing system or the capacity of a particular tool.