形式化建模论文

基于UML的软件需求缺陷形式化建模分析
论文摘要为了提高对软件需求缺陷的主动检测能力,提出一种基于统一建模语言(UML)的软件需求缺陷形式化建模方法。分析软件需求及可靠运行的质量指标体系,结合UML指令集分析软件需求...