基于AADL的软件开发技术研究

作     者：宋翠叶 杜承烈 李刚 SONG Cui-ye;DU Cheng-lie;LI Gang

作者机构：西北工业大学计算机学院西安710129 

基　　金：国家"十一五"武器装备预研项目 航空基础科学基金资助项目(2007ZD53043) 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2009年第26卷第9期

页      码：3361-3364页

摘      要：形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。

主 题 词：体系结构分析与设计语言 软件开发过程 瀑布模型 工具集 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2009.09.045

馆 藏 号：203625647...