基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述
文献类型：期刊论文
| 作者 | 张广泉1; 朱雪阳2; 郑建丹2 |
| 刊名 | 重庆师范学院学报：自然科学版
 |
| 出版日期 | 2002 |
| 卷号 | 19.0期号:1.0页码:1 |
| 关键词 | 时态逻辑语言 XYZ／E 软件体系结构 体系结构风格 组件 连接件 软件开发 |
| ISSN号 | 1001-8905 |
| 英文摘要 | XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构，文1采用XYZ／E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合，来表示几种重要的软件体系结构风格。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/33441]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.重庆师范大学 2.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 张广泉,朱雪阳,郑建丹. 基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述[J]. 重庆师范学院学报：自然科学版,2002,19.0(1.0):1. |
| APA | 张广泉,朱雪阳,&郑建丹.(2002).基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述.重庆师范学院学报：自然科学版,19.0(1.0),1. |
| MLA | 张广泉,et al."基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述".重庆师范学院学报：自然科学版 19.0.1.0(2002):1. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。