文件名称：论文研究-基于AADL的软件开发技术研究.pdf
文件大小：527KB
文件格式：PDF
更新时间：2022-08-11 14:20:34
体系结构分析与设计语言,软件开发过程,瀑布模型,工具集
形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言（AADL）在软件开发中的作用及其技术现状，介绍了AADL的语言组成和相关特性，分析了AADL在软件开发过程中的作用，给出了一个相应AADL工具集的框架模型。在此基础上，对现有的AADL相关工具进行了综述比较，总结出该框架的技术现状，并指出了AADL相关工具开发与应用的趋势。