Effectively defining "shall not" requirements

Jeffrey Voas, Phillip Laplante

Research output: Contribution to journalReview articlepeer-review

4 Scopus citations


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.

Original languageEnglish (US)
Article number5196658
Pages (from-to)46-52
Number of pages7
JournalIT Professional
Issue number3
StatePublished - May 2010

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Science Applications


Dive into the research topics of 'Effectively defining "shall not" requirements'. Together they form a unique fingerprint.

Cite this