Skip to main content
SpringerLink
Log in
Book cover

Conference on Software Engineering Education

CSEE 1994: Software Engineering Education pp 597Cite as

Formal methods for software engineering

  • Session 14: Tutorial Presentation
  • Conference paper
  • First Online:

  • 134 Accesses

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

Abstract

This tutorial introduces formal methods in software engineering. The main objectives of the tutorial are as follows:

  • Introduce the notion of formal methods, and show how it is used in practice for specifying and verifying software.

  • Describe “industrial-strength” formal methods for specifying and verifying the object, dynamic, and functional models of software.

  • Discuss various approaches to showing consistency between the three models of software.

This is a preview of subscription content, log in via an institution.

Author information

Authors and Affiliations

  1. The University of Iowa, Iowa City, Iowa

    Mahesh H. Dodani

Authors
  1. Mahesh H. Dodani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jorge L. Díaz-Herrera

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dodani, M.H. (1993). Formal methods for software engineering. In: Díaz-Herrera, J.L. (eds) Software Engineering Education. CSEE 1994. Lecture Notes in Computer Science, vol 750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017644

Download citation

  • DOI: https://doi.org/10.1007/BFb0017644

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57461-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation