基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述
摘要
重庆师范学院数学与计算机科学系,重庆,400047;中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080
引用本文（GB/T 7714）
张广泉, 郑建丹, 舒明. 基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述[J]. 未知来源, 2001.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。