標準號：ANSI/INCITS/ISO/IEC 13817-1-1996
中文標準名稱：信息技術.編程設計語言及其環境和系統軟件接口.（維也納）開發方法.規范語言.第1部分:基本語言
英文標準名稱：Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
標準類型：L77
發布日期：1999/12/31 12:00:00
實施日期：1999/12/31 12:00:00
中國標準分類號：L77
國際標準分類號：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.