Issue No. 03 - May/June (2010 vol. 12)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MITP.2009.87
Jeffrey Voas , SAIC, Arlington
Phillip Laplante , The Pennsylvannia State University, Malvern
<p>The authors review how to define a set of "negative requirements," or hazards, starting with elicitation and discovery of shall-not requirements through system integration and testing using a process called hazard mining.</p>
Methodologies, tools, Specification, real-time systems, process, General, Automatic synthesis, General, Automatic synthesis, Requirements/Specifications, Requirements Analysis, Requirements Elicitation
P. Laplante and J. Voas, "Effectively Defining "Shall Not" Requirements," in IT Professional, vol. 12, no. , pp. 46-53, 2009.