Formal Methods in Software Engineering

  • Johann M. Schumann


Formal methods in general refer to the use of techniques from logic and discrete mathematics to specification, design, construction, and analysis of computer systems and software [Kelly, 1997; Storey, 1996]. In this chapter, we will give a short overview of the role of formal methods in the area of software engineering. Formal methods are very important in order to avoid incomplete, inconsistent and ambiguous requirements, specifications or system descriptions. In contrast to documents written in natural language, formal methods are based on formal languages (e.g., mathematical logic) and require the explicit and concise notation of all assumptions.


Model Check Formal Method Theorem Prover Specification Language Proof Obligation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Johann M. Schumann
    • 1
  1. 1.Automated Software EngineeringRIACS / NASA Ames Research CenterMoffett FieldUSA

Personalised recommendations