Overview

Full Product Details

Author:   Reiko Heckel ,  Gabriele Taentzer
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2020
Weight:   0.510kg
ISBN:  

9783030439187

ISBN 10:   3030439186
Pages:   309
Publication Date:   14 May 2021
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

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.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions