软件配置单(SCL) 相关硕士博士期刊学术论文

提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性，生成软件配置单（SCL）；然后以EBNF描述......