| 基于时序逻辑的软件体系结构描述语言XYZ/ADL |
| |
| 引用本文： | 朱雪阳,唐稚松. 基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 软件学报, 2003, 14(4): 713-720 |
| |
| 作者姓名： | 朱雪阳 唐稚松 |
| |
| 作者单位： | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60073020, 60273025 (国家自然科学基金); the National High-Tech Research and Development Program of China under Grant No.2001AA113200 (国家高技术研究发展计划(863)); the National Grand Fundamental Research 973 Program of China under Grant No.2002cb312200 (国家重点基础研究发展规划(973)) |
| |
| 摘 要： |
|
| 关 键 词： | 软件体系结构 体系结构描述语言 时序逻辑语言XYZ/E 规范 |
| 收稿时间： | 2002-08-22 |
| 修稿时间： | 2002-08-22 |
A Temporal Logic-Based Software Architecture Description Language XYZ/ADL |
| |
| ZHU Xue-Yang and TANG Zhi-Song. A Temporal Logic-Based Software Architecture Description Language XYZ/ADL[J]. Journal of Software, 2003, 14(4): 713-720 |
| |
| Authors: | ZHU Xue-Yang and TANG Zhi-Song |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
