%0 Journal Article
%T XYZ系统的目的、意义、作用与应用
%A 唐稚松
%J -
%D 1999
%X XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用
%K 时序逻辑语言
%K 状态转换
%K 动态语义
%K 静态语义
%K 规范语言
%K 冯诺曼模型
%K 逐步求精
%K 构件
%K 软件体系结构
%K 一致性验证.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19990401&flag=1