Graph transformation for software engine
โ Heckel R., Taentzer G
๐ Library
๐
2020
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
โ Scribed by Reiko Heckel, Gabriele Taentzer
- Publisher
- Springer International Publishing;Springer
- Year
- 2020
- Tongue
- English
- Leaves
- 323
- Edition
- 1st ed.
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
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. Besides serving as prerequisite for describing the applications in the second part, it also provides a comprehensive and systematic survey of the concepts, notations and techniques of graph transformation. The second part presents and discusses a range of applications to both model-based software engineering and domain-specific language engineering. The variety of these applications demonstrates how broadly graphs and graph transformations can be used to model, analyse and implement complex software systems and languages.
This is the first textbook that explains the most commonly used concepts, notations, techniques and applications of graph transformation without focusing on one particular mathematical representation or implementation approach. Emphasising the research and engineering methodologies used, it will be a valuable resource for graduate students, practitioners and researchers in software engineering, foundations of programming and formal methods.
โฆ Table of Contents
Front Matter ....Pages I-XX
Front Matter ....Pages 1-3
Graphs for Modelling and Specification (Reiko Heckel, Gabriele Taentzer)....Pages 5-29
Graph Transformation Concepts (Reiko Heckel, Gabriele Taentzer)....Pages 31-66
Beyond Individual Rules: Usage Scenarios and Control Structures (Reiko Heckel, Gabriele Taentzer)....Pages 67-85
Analysis and Improvement of Graph Transformation Systems (Reiko Heckel, Gabriele Taentzer)....Pages 87-127
Front Matter ....Pages 129-134
Detecting Inconsistent Requirements in a Use-Case-Driven Approach (Reiko Heckel, Gabriele Taentzer)....Pages 135-150
Service Specification and Matching (Reiko Heckel, Gabriele Taentzer)....Pages 151-166
Model-Based Testing (Reiko Heckel, Gabriele Taentzer)....Pages 167-180
Reverse Engineering: Inferring Visual Contracts from Java Programs (Reiko Heckel, Gabriele Taentzer)....Pages 181-196
Stochastic Analysis of Dynamic Software Architectures (Reiko Heckel, Gabriele Taentzer)....Pages 197-214
Advanced Modelling-Language Definition:Integrating Metamodelling with Graph Transformation (Reiko Heckel, Gabriele Taentzer)....Pages 215-238
Improving Models and Understanding Model Changes (Reiko Heckel, Gabriele Taentzer)....Pages 239-261
Translating and Synchronising Models (Reiko Heckel, Gabriele Taentzer)....Pages 263-284
Back Matter ....Pages 285-309
โฆ Subjects
Computer Science; Theory of Computation; Software Engineering
๐ SIMILAR VOLUMES
Formal Methods for Software Engineering:
โ Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider;
๐ Library
๐
2022
๐ Springer Nature
๐ English
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitute
Formal Methods for Software Engineering:
โ Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider;
๐ Library
๐
2022
๐ Springer Nature
๐ English
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitute
Formal Methods for Software Engineering:
โ Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider;
๐ Library
๐
2022
๐ Springer Nature
๐ English
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitute
Software Language Engineering: Creating
โ Anneke Kleppe
๐ Library
๐
2008
๐ Addison-Wesley Professional
๐ English
Software practitioners are rapidly discovering the immense value of Domain-Specific Languages (DSLs) in solving problems within clearly definable problem domains. Developers are applying DSLs to improve productivity and quality in a wide range of areas, such as finance, combat simulation, macro scri
Software language engineering: creating
โ Kleppe, Anneke G;Favre, Jean-Marie(Foreword by)
๐ Library
๐
2008;2009
๐ Addison-Wesley Professional
๐ English
Software practitioners are rapidly discovering the immense value of Domain-Specific Languages (DSLs) in solving problems within clearly definable problem domains. Developers are applying DSLs to improve productivity and quality in a wide range of areas, such as finance, combat simulation, macro scri