检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]蚌埠医学院
出 处:《安徽大学学报(自然科学版)》1998年第4期67-71,98,共6页Journal of Anhui University(Natural Science Edition)
摘 要:软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言WRIGHT,它注重连接器的定义(即协议),提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。As the design of software architectures emerges as a discipline within software engineering,it will become increasingly important to support architectural development with tools and environments. In this paper we describe a language called WRIGHT which supports architectural specification. WRIGHT focuses on the definition of connectors as protocols, and provides formal criteria and an associated tool for checking architectural consistency. It embody many of requirements for architectural design.
关 键 词:软件体系结构 软件工程 WRIGHT IDL MIL
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3