首页> 外文会议>World computer congress >Formalization of Requirement Engineering - Combining UML and Type Theory
【24h】

Formalization of Requirement Engineering - Combining UML and Type Theory

机译:要求工程的形式化 - 结合UML和类型理论

获取原文

摘要

With the fast growing of scale and complexity, more and more computer-based systems have been delivered late and over budget, or even failed. According to a survey, it seems our inability to work effectively with users to understand their requirements, coupled with weak engineering discipline in managing requirements, is the leading cause of software failures. The main objective of this paper is to exploit a way to formalize the process of requirement engineering (RE) to conquer this problem.
机译:随着规模和复杂性的快速增长,越来越多的基于计算机的系统已经迟到和超过预算,甚至失败了。根据调查,似乎我们无法与用户有效地工作,了解他们的要求,加上管理要求的弱势工程学科,是软件故障的主要原因。本文的主要目的是利用一种方式来形式化需求工程(RE)的过程来征服这个问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号