作者:董瑞志,彭鑫,赵文耘 单位:中国科学院计算技术研究所;中国计算机学会 出版:《计算机学报》2014年第03期 页数:17页  (PDF与DOC格式可能不同) PDF编号:PDFJSJX2014030060 DOC编号:DOCJSJX2014030069 下载格式:PDF + Word/doc 文字可复制、可编辑
《混合系统的形式化验证》PDF+DOC1999年第02期 高建平,陈宗基 《空气健康领域智能家居交互界面设计》PDF+DOC2015年第06期 郁舒兰,郝颖婕
  • 软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题———增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。