The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI:10.1109/REW.2019.00024

D. Berry

引用次数: 0

Abstract

This talk attempts to explain why formal methods are not being used to develop large-scale software-intensive computer-based systems by appealing to the Reference Model for Requirements and Specifications by Gunter, Gunter, Jackson, and Zave.

查看原文本刊更多论文

需求工程参考模型:在软件系统开发中使用形式化方法的一个基本障碍

这次演讲试图通过引用Gunter、Gunter、Jackson和Zave的需求和规格参考模型来解释为什么形式化方法没有被用于开发大规模的基于软件密集型计算机的系统。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)

自引率

0.00%

发文量