Modeling companion for software practitioners

Více o knize

This book presents a modeling method designed to assist practitioners in managing complex software-intensive systems. It combines abstraction with operational characteristics, utilizing Abstract State Machines (ASMs) for behavioral models. The content is divided into two parts: the first focuses on constructing, explaining, debugging, exploring, extending, and reusing accurate system design models from scratch, assuming only basic knowledge of mathematical notation and computational processes. The second part demonstrates how to support the modeling method through tools that enable executable and debuggable design models. A problem-oriented refinement method is introduced, allowing users to build, debug, and maintain systems by starting with abstract models and incrementally adding details until reaching code. Targeted at practitioners and students in software engineering, this resource is suitable for self-study, teaching, and serves as a reference. Exercises are included to reinforce understanding, and refinements for many models can be downloaded for validation from the book's website at http://modelingbook.informatik.uni-ulm.de.