Click the titles to download the papers

Papers for Chapter 5.
Validating Requirements

5.1  Shull, Forrest et al.  (2000)   “How Perspective-Based Reading Can Improve Requirements Inspections”  IEEE Computer

5.2  Bender, Richard  (2003)   “The Ambiguity Review Process”

5.3  Femmer, Henning et al.  (2014)   “Rapid Requirements Checks with Requirements Smells”  ICSE ‘14

5.4  Gilb, Tom  (2005)   “Agile Specification Quality Control”  Cutter IT Journal

5.5  Friedrich, Wernher and van der Poll, John  (2007)   “Towards a Methodology to Elicit Tacit Domain Knowledge from Users”  Interdisciplinary Journal of Information, Knowledge, and Management

5.6  Hope, Paco et al.  (2004)   “Misuse and Abuse Cases” IEEE Security & Privacy"

5.7  D’Silva, Vijay  (2008)   “A Survey of Automated Techniques for Formal Software Verification”  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

5.8  Bowen, Jonathan P. and Hinchey, Michael G.  (2006)   “Ten Commandments of Formal Methods … Ten Years Later”   IEEE Computer