Abstract
Formal Engineering Methods are a bridge from Formal Methods to industrial applications. In this paper I describe the relation between formal engineering methods and formal methods, and present a specific formal engineering method SOFL (Structured Object-Oriented Formal Language) for developing quality software systems. I explain how SOFL can be applied in practice through examples.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work is supported in part by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research (B) (No. 11694173) and (C) (No. 11680368).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C.A.R. Hoare and N. Wirth. An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica, (2):335–355, 1973.
Cli. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International (UK) Ltd., 1990.
Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall Europe, 1996.
Ralph-Johan Back and Joakim von Wright. Refinement Calculus-A Systematic Introduction. Springer-Verlag, 1998.
Steve Schneider. B-Method. Palgrave, 2001.
Mike Gordon and Andrew Pitts. The HOL Logic and System. In J. Bowen, editor, Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems series. Elsevier, 1994.
Dan Craigen, Susan Gerhart, and Ted Ralston. An International Survey of Industrial Applications of Formal Methods. Technical Report NISTGCR 93/626, U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology Computer Systems Laboratory, Gaithersburg, MD 20899, 1993.
Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.
Wilfried Brauer, Grzegorz Rozenberg, and Arto Salomaa. Petri Nets-An Introduction. Springer-Verlag, Berlin Heidelberg, 1985.
John Dawes. The VDM-SL Reference Guide. Pitman, 1991.
Meilir Page-Jones. Fundamentals of Object-Oriented Design in UML. Dorset House Publishing, 2000.
G. Bernot, M. C. Gaudel, and B. Marre. Software Testing based on Formal Specifications: A Theory and a Tool. Software Engineering Journal, 6(6):387–405, 1991.
Dave L. Parnas and David M. Weiss. Active Design Reviews: Principles and Practices. In Proceedings of the 8th International Conference on Software Engineering, pages 215–222, Aug. 1985.
E. A. Meyers and J. C. Knight. An Improved Inspection Technique. Communications of the ACM, 36(11):50–61, Nov. 1993.
Edmund M. Clarke, Orna Grumber, and Doron Peled. Model Checking. MIT Press, 2000.
Shaoying Liu, A. Je. 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.
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.
Douglas Bell. Software Engineering. Third Edition, Person Education Limited, 2000.
Carroll Morgan. Programming from Specifications. Prentice-Hall International UK) Ltd., 1990.
B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, S. (2002). Developing Quality Software Systems Using the SOFL Formal Engineering Method. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_2
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive