FORMAL DESIGN ANALYSIS FRAMEWORK

【文件属性】：

文件名称：FORMAL DESIGN ANALYSIS FRAMEWORK

文件大小：5.42MB

文件格式：PDF

更新时间：2016-09-16 10:45:46

形式化框架

为保证软件非功能属性的自动化分析，为软件体系结构建立形式化设计和分析框架