基于AADL软件开发技术研究.docVIP

  • 31
  • 0
  • 约1.12万字
  • 约 20页
  • 2018-08-27 发布于福建
  • 举报
基于AADL软件开发技术研究

基于AADL软件开发技术研究   摘 要:形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。   关键词:体系结构分析与设计语言; 软件开发过程; 瀑布模型; 工具集   中图分类号:TP311文献标志码:A   文章编号:1001-3695(2009)09-3361-04   doi:10.3969/j.issn.1001-3695.2009.09.045      Survey of software development technology based on AADL   SONG Cui-ye, DU Cheng-lie, LI Gang   (College ofComputer, Northwestern Polytechnical University, Xi’an710129, China)   Abstract:Formalization is very important in software development. AADL(archi

文档评论(0)

1亿VIP精品文档

相关文档