• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Buch
  4. Formal methods for software engineering
 
  • Details
  • Full
Options
2022
Book
Title

Formal methods for software engineering

Title Supplement
Languages, methods, application domains
Abstract
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.
Author(s)
Roggenbach, Markus
Swansea University
Cerone, Antonio
Nazarbayev University, Astana, Kazakhstan
Schlingloff, Holger  
Humboldt-Universität, Institut für Informatik  
Schneider, Gerardo
University of Gothenburg, Göteborg, Sweden
Shaikh, Siraj Ahmed
Coventry University, Coventry, UK
Person Involved
Tucker, John V.
Publisher
Springer  
DOI
10.1007/978-3-030-38800-3
Language
English
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS  
Keyword(s)
  • Formal Methods

  • Logic

  • Software Engineering

  • Process Algebras

  • CSP

  • Algebraic Specification

  • CASL

  • Verification

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024