|
|||||
|
|
| 可执行规范技术 | |
| 引用本文： | 沈孝龙,龚世生.可执行规范技术[J].计算机科学,1998,25(5):125-126. |
| 作者姓名： | 沈孝龙 龚世生 |
| 作者单位： | 汕头大学计算机系，汕头大学计算机系 汕头 515063，汕头 515063 |
| 摘 要： | 本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误，随着形式化规范研究的发展，它越来越受到重视。ＸＹＺ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言（ＴＴＬ ＸＹＺ／Ｅ语言），该语言能在同一框架之中表示动态涵义（可执行命令）与静态语义（前后断言规范），并可混合在一程序中出现。用这种混合出现的程序，就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过 |
| 关 键 词： | 可执行规范 动态语义 静态语义 软件工程 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |