摘要
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。
It was software engineering automated precondition; software automation can radically enhance software quality and production efficiency up that software engineering formalization. This paper put forward a requirements analysis way based on formal method. First, on the basis of basic discrete system, a system model-fair discrete system model which can be applied in any phase of software development process is proposed. The refinement, verification, method of controlling complexity and reuse of system model in requirements elicitation process are accurately and concisely discussed.
出处
《微型电脑应用》
2010年第2期10-11,4,共2页
Microcomputer Applications
关键词
软件工程
形式化方法
离散系统
需求模型
Software Engineering
Formal Method
Discrete System
Requirement Model
