OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

相关文章
更多...

- 1999

XYZ系统的目的、意义、作用与应用

Keywords: 时序逻辑语言,状态转换,动态语义,静态语义,规范语言,冯诺曼模型,逐步求精,构件,软件体系结构,一致性验证.

Full-Text Cite this paper Add to My Lib

Abstract:

XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用

Contact Us

service@oalib.com

WhatsApp +8615387084133