摘要
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现．它被用于解决某些高技术工程领域的问题．文章介绍了这个系统的目的、意义、作用和应用．
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.\=
出处
《软件学报》
EI
CSCD
北大核心
1999年第4期337-341,共5页
Journal of Software
关键词
XYZ系统
时序逻辑语言
状态转换
软件工程
Temporal logic language, state transition, dynamic semantics, static semantics, specification language, Von Neumann model, stepwise refinement, component, software architecture, consistency checking.
