An automated approach to specification-based program inspection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3785 LNCS, Issue , 2005, Pages 421-434

  Liu, Shaoying ^a   Nagoya, Fumiko ^a   Chen, Yuting ^a   Goya, Masashi ^a   McDermid, John A ^b  

^a HOSEI UNIVERSITY   (Japan)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TELLER MACHINES; COMPUTER SIMULATION; FORMAL LOGIC; SPECIFICATIONS;

BACKWARD INSPECTION; PROGRAM INSPECTION; SYSTEMATIC INSPECTION;

COMPUTER PROGRAM LISTINGS;

EID: 33646811528     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576280_29     Document Type: Conference Paper

References (16)

1. M. E. Pagan. Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, 15(3):182-211, 1976.
2. A. A. Porter, H. P. Siy, and L. G. Votta. A Review of Software Inspections. Advances in Computers, 42:39-76, 1996.
3. O. Laitenberger and J-M. DeBaud. An Encompassing Life-Cycle Centric Survey of Software Inspection. Journal of Systems and Software, 50(1):5-31, 2000.
4. T. Gilb and D. Graham. Software Inspection. Addison-Wesley, 1993.
5. NASA. Software Formal Inspection Process Standard. NASASTD-2202-93, 1993.
6. D. L. Parnas and D. M. Weiss. Active Design Reviews: Principles and Practice. In 8th International Conference on Software Engineering, pages 132-136, 1985.
7. J. C. Knight and E. A. Myers. An Improved Inspection Technique. Communications of the ACM, 36(11):51-61, 1993.
8. D. L. Parnas and M. Lawford. The Role of Inspection in Software Quality Assurance. IEEE Transactions on Software Engineering, 29(8):674-676, August 2003.
9. Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48-56, May 1996.
10. C. L. Heitmeyer. Applying the SCR Requirements Method to a Weapons Control Panel: an Experience Report. In Proceedings of the Second Workshop on Formal Methods in Practice, pages 92-102. ACM Press, 1998.
11. G. Babin and F. Lustman. Application of Formal Methods to Scenario-based Requirements Engineering. International Journal of Computers and Applications, 23(3):141-151, 2001.
12. S. Sahara. An Experience of Applying Formal Method on a Large Business Application (in Japanese). In Proceedings of 2004 Symposium of Science and Technology on System Verification, pages 93-100, Osaka, Japan, Feb. 4-6 2004. National Institute of Advanced Industrial Science and Technology (AIST).
13. D. L. Parnas, J. Madey, and M. Iglewski. Precise Documentation of Well-Structured Programs. IEEE Transactions on Software Engineering, 20(12):948-976, December 1994.
14. Michael T. Goodrich and Roberto Tamassia. Data Structures and Algorithms in Java. John Wiley & Sons, Inc, 2001.
15. S. Liu. Formal Engineering for Industrial Software Development Using the SOFL Method. Springer-Verlag, 2004.
16. F.O. Iwu, A. Galloway, I. Toyn, and J.A. McDermid. Practical Formal Specification for Embedded Control Systems. In INCOM'04: 11th IFAC Symposium on Information Control Problems in Manufacturing, page 6pp, April 2004. Special session on formal methods: promising solutions to improve industrial controllers' dependability.