Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schumann, J.M. (2001). Formal Methods in Software Engineering. In: Automated Theorem Proving in Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-22646-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-22646-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08759-2
Online ISBN: 978-3-662-22646-9
eBook Packages: Springer Book Archive