BS ISO/IEC 13817-1:1996

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language

被代替

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 BS ISO/IEC 13817-1:1996 前三页，或者稍后再访问。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

BS ISO/IEC 13817-1:1996

发布

1997年

发布单位

英国标准学会

替代标准

BS ISO/IEC 13817-1:1997

当前最新

BS ISO/IEC 13817-1:1997

 

 

适用范围

1   Scope This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method — Specification Language). It specifies: — two representations: the mathematical and interchange; — the syntax; — the static semantics ; — the dynamic semantics ; — conformity for specifications and tools . It does not 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 , nor the actions to be taken when the corresponding limits are exceeded; ...

BS ISO/IEC 13817-1:1996相似标准

推荐