1. 首页
  2. 课程学习
  3. 专业指导
  4. 软件需求的形式化转换模型.pdf

软件需求的形式化转换模型.pdf

上传者: 2019-04-29 01:45:53上传 PDF文件 127KB 热度 21次
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
用户评论