Published Articles >> Table of Contents >> Abstract

Sixth Asia-Pacific Software Engineering Conference (APSEC'99)   p. 404
Applying SOFL to Develop a University Information System
Shaoying Liu, Hiroshima City University
Masaomi Shibata, Haielekonkowa Limited
Ryuichi Sato, Active Brains & Trust Corporation

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809630
Send link to a friend

Abstract
How to effectively apply formal methods under schedule constraints to develop real systems is an important issue to address. In this paper we report our recent experience in the application of SOFL (Structured Object-based Formal Language) to developing a University Information System. The intention of this study is to investigate whether and how formal methods can benefit development of non-safety critical systems with time constraints. We have found that if used appropriately, formal methods can help to save time, to improve the accuracy of discussions and communications, to facilitate transformations from specifications to design, and then to programs. On the other hand, we have also found that formal specifications in the style of pre and post-conditions can be difficult to write; formal specifications without reviews may involve mistakes; and satisfactory formal specifications that serve as the reliable documents for development and maintenance may be completed only throughout the entire development process.
Back to Top Additional Information
Citation:  Shaoying Liu, Masaomi Shibata, Ryuichi Sato, "Applying SOFL to Develop a University Information System," apsec, p. 404,  Sixth Asia-Pacific Software Engineering Conference (APSEC'99),  1999