Applying SOFL to develop a University Information System

Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Volumn , Issue , 1999, Pages 404-411

  Liu, Shaoying ^a   Shibata, Masaomi ^b   Sato, Ryuichi ^c  

^a HIROSHIMA CITY UNIVERSITY   (Japan)

^b Haielekonkowa Ltd   (Japan)

^c Active Brains and Trust Corporation   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL METHODS; INFORMATION SYSTEMS; SAFETY ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS;

DEVELOPMENT PROCESS; OBJECT BASED; REAL SYSTEMS; RELIABLE DOCUMENTS; SAFETY CRITICAL SYSTEMS; TIME CONSTRAINTS; UNIVERSITY INFORMATION SYSTEMS;

FORMAL SPECIFICATION;

EID: 34248515995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1999.809630     Document Type: Conference Paper

References (14)

1. Shaoying Liu and Yong Sun. Structured Methodology Object-Oriented Methodology + Formal Methods: Methodology of SOFL. In Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems, pages 137-144, Ft. Landerdale, Florida, USA., November 6-10, 1995. IEEE Computer Society Press.
2. 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.
3. 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.
4. 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.
5. A Jeff Offutt and Shaoying Liu. Generating Test Data from SOFL Specifications. Journal of Systems and Software, (to appear).
6. Shaoying Liu, Masaomi Shibata, and Ryuichi Sato. The Specification, Design, and Implementation of A University Information System. Technical Report HCU-IS-99-005, Hiroshima City University, Hiroshima, Japan, 1999.
7. Shaoying Liu. A Structured and Formal Requirements Analysis Method based on Data Flow Analy-, sis and Rapid Prototyping. PhD thesis, University of Manchester, U. K., August 1992.
8. Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.
9. W. Brauer, G. Rozenberg, and A. Salomaa, editors. Petri Nets-An Introduction. Springer-Verlag, Berlin Heidelberg, 1985.
10. John Dawes. The VDM-SL Reference Guide. Pit-man 1991
11. Shaoyipg Liu and John A McDermid. A Formal Specification of Fault Trees for SAM. Transactions of Information Processing Society of Japan, 38 (10):2014-2030, October 1997. ma, 1991.
12. Anthony Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software; 13 (2):66-76, March 1996.
13. Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International (UK) Ltd., 1990.
14. David Budgen. Software Design. Addison-Wesley Publishing Company, Inc., 1994.