Capturing complete and accurate requirements by refinement

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn 2002-January, Issue , 2002, Pages 57-67

  Liu, Shaoying ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

Concrete; Educational technology; Formal languages; Formal specifications; Object oriented modeling; Performance analysis; Power engineering and energy; Programming; Software systems

Indexed keywords

COMPUTER SOFTWARE; EDUCATIONAL TECHNOLOGY; FORMAL SPECIFICATION; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; VERIFICATION;

CONCRETE; CORRECTNESS VERIFICATIONS; FUNCTIONAL REQUIREMENT; OBJECT ORIENTED MODELLING; PERFORMANCES ANALYSIS; POWER ENGINEERING AND ENERGIES; PROGRAMMING; QUALITY REQUIREMENTS; SOFTWARE-SYSTEMS; SPECIFICATION REFINEMENTS;

FORMAL LANGUAGES;

EID: 84948767019     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181498     Document Type: Conference Paper

References (12)

1. Carroll Morgan, Programming from Specifications, Prentice-Hall International(UK) Ltd., 1990.
2. Ralph-Johan Back and Joakim von Wright, Refinement Calculus - A Systematic Introduction, Springer-Verlag, 1998.
3. J.C.P. Woodcock, "The Rudiments of Algorithm Refinement," The Computer Journal, vol. 35, no. 5, pp. 441-450, 1992.
4. 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, vol. 24, no. 1, pp. 337-344, January 1998, Special Issue on Formal Methods.
5. Shaoying Liu and Rolf Adams, "Limitations of Formal Methods and An Approach to Improvement," in Proceedings of 1995 Asia-Pacific Software Engineering Conference (APSEC'95), Brisbane, Australia, Dec 1995, pp. 498-507, IEEE Computer Society Press.
6. 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), Monterey, California, USA, August 10-14 1998, pp. 100-114, IEEE Computer Society Press.
7. Shaoying Liu, Masaomi Shibata, and Ryuichi Sat, "Applying SOFL to Develop a Univeristy Information System," in Proceedings of 1999 Asia-Pacific Software Engineering Conference (APSEC'99), Takamatsu, Japan, December 6-10 1999, pp. 404-411, IEEE Computer Society Press.
8. C.A.R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Language PASCAL," Acta Informatica, , no. 2, pp. 335-355, 1973.
9. Edward Yourdon, Modern Structured Analysis, Prentice Hall International, Inc., 1989.
10. W. Brauer, G. Rozenberg, and A. Salomaa, Petri Nets - An Introduction, Springer-Verlag, Berlin Heidelberg, 1985.
11. Cliff B. Jones, Systematic Software Development Using VDM, Prentice-Hall International(UK) Ltd., 1986.
12. Shaoying Liu, "Verifying Consistency and Validity of Formal Specifications by Testing," in Proceedings of World Congress on Formal Methods in the Development of Computing Systems, Jeannette M. Wing, Jim Woodcock, and Jim Davies, Eds., Toulouse, France, September 1999, Lecture Notes in Computer Science, pp. 896-914, Springer-Verlag.