Graph Transformation for Software Engineers

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

Häftad, Engelska, 2021

AvReiko Heckel,Gabriele Taentzer

949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 299 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2021-05-14
Mått155 x 235 x 19 mm
Vikt505 g
FormatHäftad
SpråkEngelska
Antal sidor309
FörlagSpringer Nature Switzerland AG
ISBN9783030439187

Tillhör följande kategorier

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

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.

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.