Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering - Image 1

£66.52

Springer Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Name: Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
Brand: Springer
Price: 66.52 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£67 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 52 days · 52 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 52 days • 1 price levels

Days at Price

Price Analysis

Most common price: £67 (52 days, 100.0%)

Price range: £67 - £67

Price levels: 1 different prices over 52 days

Description

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 particularmathematical 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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3030439151
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 14 May 2020
Listed Since: 18 February 2020

Barcode

No barcode data available

Springer Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... (Lecture Notes in Computer Science, 5088)

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools

Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations: 01

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings: 5063 (Lecture Notes in Computer Science, 5063)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.: 1073 (Lecture Notes in Computer Science, 1073)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Formal Methods in Computer Science (Textbooks in Mathematics)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Specifying Software: A Hands-On Introduction

Transitions and Trees: An Introduction to Structural Operational Semantics

Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs (Advanced Information and Knowledge Processing)

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs (Advanced Information and Knowledge Processing)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)