计算机科学 ›› 1998, Vol. 25 ›› Issue (5): 125-126.
• 软件工程与数据库技术 • 上一篇 下一篇
沈孝龙 龚世生
出版日期:
发布日期:
Online:
Published:
摘要: 本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误,随着形式化规范研究的发展,它越来越受到重视。XYZ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言(TTL XYZ/E语言),该语言能在同一框架之中表示动态涵义(可执行命令)与静态语义(前后断言规范),并可混合在一程序中出现。用这种混合出现的程序,就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过
关键词: 可执行规范 动态语义 静态语义 软件工程
沈孝龙 龚世生. 可执行规范技术[J]. 计算机科学, 1998, 25(5): 125-126. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y1998/V25/I5/125
Cited