A GUI and testing tool for SOFL

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 421-425

  Liu, Shaoying ^a   Fukuzaki, T ^b   Miyamoto, K ^c  

^a HOSEI UNIVERSITY   (Japan)

^b IBM JAPAN LTD   (Japan)

^c HIROSHIMA CITY UNIVERSITY   (Japan)

Author keywords

Data engineering; Design engineering; Encapsulation; Formal languages; Graphical user interfaces; Java; Object oriented modeling; Petri nets; Software systems; Testing

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; DATA ENCAPSULATION; DATA FLOW GRAPHS; DATA TRANSFER; ENCAPSULATION; FLOWCHARTING; FORMAL LANGUAGES; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; PETRI NETS; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; TESTING; USER INTERFACES;

DATA ENGINEERING; DESIGN ENGINEERING; JAVA; OBJECT ORIENTED MODEL; SOFTWARE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 4944250881     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896729     Document Type: Conference Paper

References (11)

1. Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.
2. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall International Series in Computer Science, 1988.
3. Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International(UK) Ltd., 1990.
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, 24(1):337-344, January 1998. Special Issue on Formal Methods.
5. 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.
6. 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), pages 404-411, Takamatsu, Japan, December 6-10 1999. IEEE Computer Society Press.
7. Tetsuo Fukuzaki. A Supporting Environment and Evaluation of Formal Specification Testing Techniques. M.Sc Thesis (in Japanese), Department of Computer Science, Faculty of Information Sciences, Hiroshima City University, February 2000.
8. Shaoying Liu. Verifying Consistency and Validity of Formal Specifications by Testing. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, Proceedings of World Congress on Formal Methods in the Development of Computing Systems, Lecture Notes in Computer Science, pages 896-914, Toulouse, France, September 1999. Springer-Verlag.
9. A. Jeff. Offutt and Shaoying Liu. Generating test data from SOFL specifications. The Journal of Systems and Software, 49(1):49-62, December 1999.
10. R.A. DeMillo, R.J. Lipton, and F.G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4), April 1978.
11. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, and E. W. Wong. Mutation Analysis Applied to Validate Specifications based on Petri Nets. In Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95), pages 329-337, Quebec, Canada, October 1995.