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

£70.63

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: 70.63 GBP
Availability: InStock

Introduction to Programming

This is the usual price. Wait for it to drop, or tell us your number.

£71 today · usual range £0–£0 · best ever £29

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 288 days • 288 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 288 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (111 days, 38.5%)

Price range: £29 - £71

Price levels: 6 different prices over 288 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

This is the usual price. Wait for it to drop, or tell us your number.

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)

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

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)

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

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Springer - Formal Methods and Models for System Design Book

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)