Skip to main content
SpringerLink
Log in

Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method

  • Conference paper
Formal Methods and Software Engineering (ICFEM 2004)

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

Included in the following conference series:

Abstract

Formal methods have been developed as a rigorous approach to computer systems development over last three decades, but have been facing challenges in fighting for industrial acceptance in general. Most commonly used formal methods do not offer comprehensible structuring mechanism for building complex systems; formal refinement is not sufficient to deal with real development situations; and formal verification requires high skills and is time-intensive, and is therefore expensive to be adopted by industry.

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

References

  1. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  2. Liu, S., Offutt, J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering 24(1), 337–344 (1998), Special Issue on Formal Methods

    Google Scholar 

  3. Liu, S.: Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications. In: Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), Chiangmai, Thailand, December 10–12. IEEE Computer Society Press, Los Alamitos (2003)

    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. School of Computing, Queen’s University, K7L 3N6, Kingston, ON, Canada

    Jim Davies

  2. Microsoft Research, One Microsoft Way, WA 98052, Redmond, USA

    Wolfram Schulte

  3. Microsoft Research, WA 98052, Redmond, USA

    Mike Barnett

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, S. (2004). Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method. In: Davies, J., Schulte, W., Barnett, M. (eds) Formal Methods and Software Engineering. ICFEM 2004. Lecture Notes in Computer Science, vol 3308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30482-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30482-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23841-6

  • Online ISBN: 978-3-540-30482-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation