| XYZ系统的目的、意义、作用与应用 |
| |
| 引用本文： | 唐稚松.XYZ系统的目的、意义、作用与应用[J].软件学报,1999,10(4):337-341. |
| |
| 作者姓名： | 唐稚松 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| |
| 摘 要： | XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.
|
| 关 键 词： | 时序逻辑语言 状态转换 动态语义 静态语义 规范语言 冯诺曼模型 逐步求精 构件 软件体系结构 一致性验证. |
| 收稿时间： | 2/3/1999 12:00:00 AM |
| 修稿时间： | 3/3/1999 12:00:00 AM |
The Goal, Meaning, Effect and Application of the XYZ System |
| |
| TANG Zhi-song.The Goal, Meaning, Effect and Application of the XYZ System[J].Journal of Software,1999,10(4):337-341. |
| |
| Authors: | TANG Zhi-song |
| |
| Affiliation: | Institute of SoftwareThe Chinese Academy of SciencesBeijing100080 |
| |
| Abstract: | XYZ system is a software engineering system based on linear time temporal logic designed and implemented by the Institute of Software, The Chinese Academy of Sciences for one and a half decades. It has reached its last stage of development in application to solve some high technical engineering problems. In this paper, the goal, meaning, effect and applications of this system are introduced. |
| |
| Keywords: | Temporal logic language state transition dynamic semantics static semantics specification language Von Neumann model stepwise refinement component software architecture consistency checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
