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

• 作者: 张广泉 肖刚 龚洁静
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 软件工程 形式化方法 离散系统 需求模型
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 研究与设计
• 页码范围: 10-11
• 页数: 2页
• 分类号: TP391.41
• 字数: 3686字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2010.02.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚洁静		1	1	1.0	1.0
2	张广泉		1	1	1.0	1.0
3	肖刚		1	1	1.0	1.0