Introduction: The Role of Modeling

  • Egon Börger
  • Alexander Raschke
Chapter

Abstract

(Introduction) explains why modeling cannot be achieved by programming alone. It describes the role of models for a) building reliable software-intensive systems, and for b) intellectually managing their complexity. It explains the two fundamental conceptual features - abstraction and refinement - by which Abstract State Machines (ASMs), a pseudo-code form of models with a rigorously defined behavior, permit to realize this role. (Introduction) explains why modeling cannot be achieved by programming alone. It describes the role of models for a) building reliable software-intensive systems, and for b) intellectually managing their complexity. It explains the two fundamental conceptual features - abstraction and refinement - by which Abstract State Machines (ASMs), a pseudo-code form of models with a rigorously defined behavior, permit to realize this role.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Egon Börger
    • 1
  • Alexander Raschke
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Institute of Software Engineering and Programming LanguagesUniversität UlmUlmGermany

Personalised recommendations