N-Fold Inspection: A Requirements Analysis Technique

Communications of the ACM

Volumn 33, Issue 2, 1990, Pages 225-232

  Martin, Johnny ^a   Tsai, W T ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

N-FOLD INSPECTION; SOFTWARE DEVELOPMENT; SOFTWARE REQUIREMENTS;

COMPUTER SOFTWARE;

EID: 0025388456     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/75577.75587     Document Type: Article

References (17)

1. Alford, M. SREM at the age of eight: The distributed computing design system. IEEE Comput. 18, 4 (Apr. 1985), 36-46.
2. Avizienis, A. The n-version approach to fault-tolerant software. IEEE Trans. on Softw. Eng. 71. 12 (Dec. 1985), 1491-1501.
3. Avizienis, A., Lyu. M. R., and Schutz, W. In Search of effective diversity: A six-language study of fault-tolerant flight-control software. In Proceedings of the IEEE 18th International Symposium on Fault Tolerant Computing (Tokyo, Japan, June 27-30.) IEEE/CS, New York, 1988, pp. 15-22.
4. Berzins V., and Gray, M. Analysis and design in MSG 84: Formalizing functional specifications. IEEE Trans. on Softw. Eng. 11, 8 (Aug. 1985), 657-670.
5. Birrell N. D., and Ould, M. A. A Practical Handbook for Software Development. Cambridge University Press, Melbourne. Australia, 1985.
6. Boehm, B. Industrial software metrics top-10 list. IEEE Softw. 3, 9 (Sept. 1987), 84-85.
7. Boehm, B. Verifying and validating software requirements and design specifications. IEEE Softw. 1, 1 (Jan. 1984), 75-88.
8. Booch, G. Software Engineering with Ada. Benjamin Cummings Publishing Co., Inc., Menlo Park, Calif., 1983.
9. DeMarco, T. Structured Analysis and System Specification. Yourdon Press, New York, 1978.
10. U. S. Departement of Defense. Reference Manual for the Ada Programming Language. ANSI-MIL-STD-1815A-1983, 1983.
11. Fagan, M. E. Advances in software inspections. IEEE Trans. on Softw. Eng. 12, 7 (July 1986), 744-751.
12. Fagan, M. E. Design and code inspections to reduce errors in program development. IBM Syst. J. 15. 3 (1976), 182-211.
13. Jones, C. B. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, N. J., 1986.
14. Nielsen K., and Shumate, K. Designing large real-time systems with Ada. Commun. ACM 30, 8 (Apr. 1987), 695-715.
15. Ould A., and Unwin, C. Testing in Software Development. Cambridge University Press. 1986.
16. Ramamoorthy, C. V., et al. Application of a methodology for the development and validation of reliable process control software. IEEE Trans. on Softw. Eng. 7, 6 (Nov. 1981), 537-555.
17. Sheil, B. Power tools for programmers. Datamation, (Feb. 1983), 131-143.