A rigorous approach to reviewing formal specifications

Proceedings - 27th Annual NASA Goddard / IEEE Software Engineering Workshop, SEW 2002

Volumn , Issue , 2003, Pages 75-81

  Liu, S ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW GRAPHS; FORESTRY; NASA; PETRI NETS; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TECHNICAL PRESENTATIONS;

DATA FLOW DIAGRAMS; INTERNAL CONSISTENCY; NEW APPROACHES; RIGOROUS APPROACH; TASK TREE;

FORMAL SPECIFICATION;

EID: 84962776120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2002.1199452     Document Type: Conference Paper

References (15)

1. David L Parnas and David M Weiss. Active Design Reviews: Principles and Practices. Journal of Systems and Software, (7):259-265, 1987.
2. W. E. Howden. A Functional Approach to Program Testing and Analysis. IEEE Transactions on Software Engineering, SE-13(10):997-1005, October 1986.
3. M. E. Fagan. Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, 15(3):182-211, 1976.
4. B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
5. Luiz P. L. Jr and Ana R. Cavalli. Application of embedded testing methods to service validation. In John Staples, Michael G. Hinchey, and Shaoying Liu, editors, Proceedings of Second International Conference on Formal Engineering Methods, pages 212-221. IEEE Computer Society Press, December 1998.
6. Kirsten Winter and Roger Duke. Model checking object-z using asm. In Michael Butler, Luigia Petre, and Kaisa Sere, editors, Proceedings of Third International Conference on Integrated Formal Methods, pages 165-184. Springer-Verlag, May 2002.
7. Tim Miller and Paul Strooper. Model-Based Specification Animation Using Testgraphs. Technical report 02-15, accepted for publication at the 4th international conference on formal engineering methods, SVRC of The University of Queensland, 2002.
8. Shaoying Liu, A. Jeff Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba. SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering, 24(1):337-344, January 1998. Special Issue on Formal Methods.
9. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, and Yasuaki Nakamura. An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. In Proceedings of Fourth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'98), pages 100-114, Monterey, California, USA, August 10-14 1998. IEEE Computer Society Press.
10. John Dawes. The VDM-SL Reference Guide. Pitman, 1991.
11. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall Europe, 1996.
12. Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.
13. Chris Ho-Stuart and Shaoying Liu. A Formal Operational Semantics for SOFL. In Proceedings of the 1997 Asia-Pacific Software Engineering Conference, pages 52-61, Hong Kong, December 1997. IEEE Computer Society Press.
14. Jin Song Dong and Shaoying Liu. An object semantic model of sofl. In Keijiro Araki, Andy Galloway, and Kenji Taguchi, editors, Integrated Formal Methods 1999, pages 189-208, York, UK, June 28-29 1999. Springer-Verlag.
15. Nancy G. Leveson. Safeware - System Safety and Computers. Addison-Wesley Publishing Company, Inc., 1995.