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

摘要

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