Graph Transformation for Software Engineers

With Applications to Model-Based Development and Domain-Specific Language Engineering

AvReiko Heckel,Gabriele Taentzer

Häftad, Engelska, 2021

715 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

987 kr

Skickas inom 10-15 vardagar

Beskrivning

This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling languages. The first part of the book presents the fundamentals in a precise, yet largely informal way.

Produktinformation

Utgivningsdatum:2021-05-14
Mått:155 x 235 x 19 mm
Vikt:505 g
Format:Häftad
Språk:Engelska
Antal sidor:309
Förlag:Springer Nature Switzerland AG
ISBN:9783030439187

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Mer om författaren

Prof. Dr.-Ing. Reiko Heckel is a member of the School of Informatics at the University of Leicester. Prof. Dr.-Ing. Gabriele Taentzer is a member of the Faculty of Mathematics and Computer Science at Philipps-Universität Marburg. The authors' research is in Graph Transformation, its foundations and applications to System Modelling and Analysis, Model-Based Software Development and Language Engineering.

Innehållsförteckning

Part I, Graph Transformation.- Graphs for Modeling and Specification.- Graph Transformation Concepts.- Beyond Individual Rules: Usage Scenarios and Control Structures.- Analysis and Improvement of Graph Transformation Systems.- Part II, Graph Transformation in Software Engineering.- Detecting Inconsistent Requirements in a Use Case-Driven Approach.- Service Specification and Matching.- Model-Based Testing.- Reverse Engineering: Inferring Visual Contracts from Java Programs.- Stochastic Analysis of Dynamic Software Architectures.- Advanced Modeling Language Definition: Integrating Meta-modeling with Graph Transformation.- Improving Models and Understanding Model Changes.- Translating and Synchronizing Models.