Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs
Abstract
The lions’s share of the software faults can be traced to requirements
and specification errors, so improvements in requirements
engineering can have a large impact on the effectiveness of the overall
system development process. A weak link in the chain is the transition
from the vague and informal needs of system stakeholders to the formal
models that support theoretical analysis and software tools.
This paper explains the context for the 2007 Monterey workshop that
was dedicated to this problem. It provides the case study that participants
were asked to use to illustrate their new methods, and summarizes
the discussion and conclusions of the workshop.
Description
Springer LNCS 5320, pp. 15-24.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
A framework for the management of evolving requirements in software systems supporting network-centric warfare
Reynolds, Linda K. (Monterey, California. Naval Postgraduate School, 2006-06);Network-centric warfare (NCW) has changed the way the Department of Defense addresses technological improvements for its military forces. No longer is the emphasis on enhancing the capabilities of a single platform, but ... -
Contractual Safety of Model-Based Requirements: Preliminary Results of an Experimental Study
Shadab, Niloofar; Salado, Alejandro (Monterey, California. Naval Postgraduate School, 2021-05-10); SYM-AM-21-046Requirements form the backbone of contracting in acquisition programs. Requirements define the problem boundaries within which contractors try to find acceptable solutions (design systems). At the same time, requirements ... -
Contractual Safety of Model-Based Requirements: Preliminary Results of an Experimental Study
Shadab, Niloofar; Salado, Alejandro (Monterey, California. Naval Postgraduate School, 2021-05-19); SYM-AM-21-137Requirements form the backbone of contracting in acquisition programs. Requirements define the problem boundaries within which contractors try to find acceptable solutions (design systems). At the same time, requirements ...