机译:Object-Z:提倡描述标准的规范语言
Software Verification Research Centre, Department of Computer Science, University of Queensland, Queensland, Australia;
object-orientation; formal specification; formal semantics; standards;
机译:将经典的离散事件系统规范模型转换为规范和描述语言
机译:从各个对象专用的各种基于对象模型的规范描述语言生成CAD系统的参考模型
机译:标准-标准音乐描述语言符合超媒体标准
机译:FOZCIL:用于将Object-Z中的形式规范转换为OO编程语言的设计合同的框架
机译:运动描述语言:从规范到执行。
机译:使用量子硬件描述语言规范光子电路
机译:Object-Z:主张标准描述的规范语言