FORMAL DESIGN ANALYSIS FRAMEWORK
为保证软件非功能属性的自动化分析,为软件体系结构建立形式化设计和分析框架
下载地址
用户评论