可视化软件体系结构描述工具XYZ/ADL的设计与实现

来源 :重庆师范学院学报（自然科学版） | 被引量 : 0次 | 上传用户：dongrun4696

【摘要】

：

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行

【作者】

：

张广泉骆华俊郑建丹

【机构】

：

重庆师范学院,数学与计算机科学系,重庆,400047中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080;

【出处】

：

重庆师范学院学报（自然科学版）

【发表日期】

：

2001年2期

【关键词】

：

时态逻辑软件体系结构体系结构描述工具

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.

其他文献

具有给定秩的{1}-逆与{2}-逆

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

INFLUENCE OF LANTHANUM STEARATE AND CALCIUM/ZINC STABILIZERS ON STABILIZATION EFFICIENCY OF DIBUTYLT

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

Polyvinyl chloride (PVC)Calcium/zinc stabilizersLanthanum stearateDibutyltin

优化主题单元教学,提高美术教学效率

根据新课标的指导和教学实际,笔者通过充分利用教材资源,调整教学内容;横向扩展教材内容,增强主题意识;纵向挖掘教材内涵,优化单元教学.本文抓住美术学科的特色,大胆地重组、

期刊

小学美术主题单元教学效率