10.3969/j.issn.1007-757X.2010.02.004
一种适用于软件生命周期系统模型的需求获取方法研究
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率.文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念.
软件工程、形式化方法、离散系统、需求模型
26
TP391.41(计算技术、计算机技术)
2010-05-04(万方平台首次上网日期,不代表论文的发表时间)
共2页
10-11