Skip to main content
SpringerLink
Log in

Benefits and Problems of Formal Methods

  • Conference paper
Reliable Software Technologies - Ada-Europe 2004 (Ada-Europe 2004)

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

Included in the following conference series:

Abstract

Formal methods for software development have been discussed for decades. This paper will try to explain when and under what circumstances formal methods and languages in general and the Object Constraint Language (OCL) in particular can be employed in a beneficial way. The success of using a formal approach is highly influenced by the expectations and pre-requisite knowledge of the developers, the role the formal support in the development process is given, and of course by the used tools.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Bowen, J.P., Hinchey, M.G.: Seven More Myths of Formal Methods. IEEE Software 12(4), 34–41 (1995)

    Article  Google Scholar 

  2. Bowen, J.P., Hinchey, M.G.: Ten Commandments of Formal Methods. IEEE Computer 28(4), 56–63 (1995)

    Google Scholar 

  3. Bjorner, D.: Formal Methods in the Twentyfirst Century: An Assessment of Today - Predictions for the Future. In: Proc. Int. Conf. Software Engineering, ICSE 1998 (1998), Not included in the official proceedings

    Google Scholar 

  4. Bowen, J.P.: Virtual Library - Formal Methods (2004), http://vl.fmnet.info

  5. Chapront, P.: Ada+B: The Formula for Safety Critical Software Development. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 13–18. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 28(4), 626–643 (1996)

    Article  Google Scholar 

  7. Gaudel, M.-C.: Testing from Formal Specifications, a Generic Approach. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 35–48. Springer, Heidelberg (2001)

    Google Scholar 

  8. Glass, R.L.: Formal Methods are a Surrogate for a More Serious Software Concern. IEEE Computer, pp. 19–19 (April 1996)

    Google Scholar 

  9. Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 86–115. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Anthony Hall, J.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)

    Article  Google Scholar 

  11. Michael Holloway, C., Butler, R.W.: Impediments to Industrial Use of Formal Methods. IEEE Computer, 25–26 (April 1996)

    Google Scholar 

  12. Knight, J.C., DeJong, C.L., Gibble, M.S., Nakano, L.G.: Why Are Formal Methods Not Used More Widely? In: Michael Holloway, C., Hayhurst, K.J. (eds.) 4th NASA Langley Formal Methods Workshop, pp. 1–12 (1997), NASA Langley Research Center, Report CP 3356

    Google Scholar 

  13. OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document formal/03-03-01, www.omg.org

  14. Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 265–277. Springer, Heidelberg (2000)

    Google Scholar 

  15. Richters, M., Gogolla, M.: OCL - Syntax, Semantics and Tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 43–69. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  16. Schulte, W.: Why Doesn’t Anyone Use Formal Methods. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 297–298. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  17. Toval, A., Requena, V., Fernandez, J.L.: Emerging OCL Tools. Software and Systems Modeling 2(4), 248–261 (2003)

    Article  Google Scholar 

  18. van Lamsweerde, A.: Building Formal Requirements Models for Reliable Software. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 1–20. Springer, Heidelberg (2001)

    Google Scholar 

  19. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Database Systems Group, University of Bremen, D-28334, Bremen, Germany

    Martin Gogolla

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, The University of the Balearic Islands, Carretera de Valldemossa km 7.5, 07122, Palma de Mallorca, Spain

    Albert Llamosí

  2. School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), CH-1015, Lausanne, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M. (2004). Benefits and Problems of Formal Methods. In: Llamosí, A., Strohmeier, A. (eds) Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science, vol 3063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24841-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24841-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22011-4

  • Online ISBN: 978-3-540-24841-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation