標(biāo)準(zhǔn)號：ANSI ISO/IEC 13817-1-1996
中文標(biāo)準(zhǔn)名稱：信息技術(shù).程序設(shè)計語言及其環(huán)境與系統(tǒng)應(yīng)用程序接口.維也納開發(fā)方法.規(guī)范語言.第1部分:INCITS采納的底層語言
英文標(biāo)準(zhǔn)名稱：Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language Adopted by INCITS
標(biāo)準(zhǔn)類型：L74
發(fā)布日期：1999/12/31 12:00:00
實(shí)施日期：1999/12/31 12:00:00
中國標(biāo)準(zhǔn)分類號：L74
國際標(biāo)準(zhǔn)分類號：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.