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

• 作者: 宋翠叶 李刚 杜承烈
• 来源期刊: 计算机应用研究
• 关键词: 体系结构分析与设计语言 软件开发过程 瀑布模型 工具集
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3361-3364
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.09.045

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜承烈	西北工业大学计算机学院	107	539	13.0	17.0
2	李刚	西北工业大学计算机学院	38	401	10.0	19.0
3	宋翠叶	西北工业大学计算机学院	4	35	2.0	4.0