Inspection's role in software quality assurance

IEEE Software

Volumn 20, Issue 4, 2003, Pages 16-20

  Parnas, David L ^a   Lawford, Mark ^b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED ANALYSIS; EMBEDDED SYSTEMS; INSPECTION; MICROPROCESSOR CHIPS; PROGRAM DIAGNOSTICS; QUALITY ASSURANCE; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING; SOCIETIES AND INSTITUTIONS; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

COMPUTER AIDED INSPECTION; COMPUTER AIDED VERIFICATION CONFERENCE; FORMAL VERIFICATION; PROGRAM VERIFICATION; SOFTWARE DESIGN; SOFTWARE QUALITY ASSURANCE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0042349564     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2003.1207449     Document Type: Editorial

References (8)

1. A. Aurum, H. Peterson, and C. Wohlin, "State-of-the-Art: Software Inspections after 25 Years," Software Testing Verification Reliability, vol. 12, no. 3, Sept. 2002, pp. 133-154.
2. M.E. Fagan, "Design and Code Inspections to Reduce Errors in Program Development," IBM Systems J., vol. 15, no. 3, 1976, pp. 182-211.
3. T. Gilb and D. Graham, Software Inspection, Addison-Wesley, 1993.
4. P. Johnson, The WWW Formal Technical Review Archive, 1999, http://www2.ics.hawaii.edu/~johnson/FTR.
5. D.L. Parnas and D.M. Weiss, "Active Design Reviews: Principles and Practices," J. Systems and Software, vol. 7, 1987, pp. 259-265.
6. Also published in Software Fundamentals: Collected Papers by David L. Parnas, D.M. Hoffman and D.M. Weiss, eds., Addison-Wesley, 2001, Chapter 17.
7. D.L. Parnas, "Inspection of Safety Critical Software Using Function Tables," Proc. IFIP 13th World Computer Congress, vol. 3, North-Holland, 1994, pp. 270-277.
8. Also published in Software Fundamentals: Collected Papers by David L. Parnas, D.M. Hoffman and D.M. Weiss, eds., Addison-Wesley, 2001, Chapter 19.