XYZ系统相关论文
软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构设计过程中，经常要碰到的问题是如何从抽象的高层体系结构逐步......
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题......
