Skip to main content
SpringerLink
Log in

Developing Quality Software Systems Using the SOFL Formal Engineering Method

  • Conference paper
  • First Online:
Formal Methods and Software Engineering (ICFEM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2495))

Included in the following conference series:

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.

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C.A.R. Hoare and N. Wirth. An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica, (2):335–355, 1973.

    Article  Google Scholar 

  2. Cli. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International (UK) Ltd., 1990.

    Google Scholar 

  3. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall Europe, 1996.

    Google Scholar 

  4. Ralph-Johan Back and Joakim von Wright. Refinement Calculus-A Systematic Introduction. Springer-Verlag, 1998.

    Google Scholar 

  5. Steve Schneider. B-Method. Palgrave, 2001.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.

    Google Scholar 

  9. Wilfried Brauer, Grzegorz Rozenberg, and Arto Salomaa. Petri Nets-An Introduction. Springer-Verlag, Berlin Heidelberg, 1985.

    Google Scholar 

  10. John Dawes. The VDM-SL Reference Guide. Pitman, 1991.

    Google Scholar 

  11. Meilir Page-Jones. Fundamentals of Object-Oriented Design in UML. Dorset House Publishing, 2000.

    Google Scholar 

  12. 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.

    Article  Google Scholar 

  13. 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.

    Google Scholar 

  14. E. A. Meyers and J. C. Knight. An Improved Inspection Technique. Communications of the ACM, 36(11):50–61, Nov. 1993.

    Google Scholar 

  15. Edmund M. Clarke, Orna Grumber, and Doron Peled. Model Checking. MIT Press, 2000.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. Douglas Bell. Software Engineering. Third Edition, Person Education Limited, 2000.

    Google Scholar 

  19. Carroll Morgan. Programming from Specifications. Prentice-Hall International UK) Ltd., 1990.

    Google Scholar 

  20. B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.

    Google Scholar 

  21. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan

    Shaoying Liu

Authors
  1. Shaoying Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation