一种适用于软件生命周期系统模型的需求获取方法研究

摘要：

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率.文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念.

关键词：软件工程、形式化方法、离散系统、需求模型

所属期刊栏目：26

分类号：TP391.41(计算技术、计算机技术)

在线出版日期：2010-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：10-11