scientific article; zbMATH DE number 2016090

MaRDI QIDQ4438799zbMATH OpenFDO

Authors R. Heckel, Luciano Baresi

Publication date 10 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Tutorial Introduction to Graph Transformation
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 1231497
• Lessons Learned from Building a Graph Transformation System
• A tutorial on graph transformation

Cited in

(25)

• Towards automated software model checking using graph transformation systems and bogor
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Categorical approach to the construction of fuzzy graph grammars
• Fundamentals of algebraic graph transformation
• Graph and model transformation. General framework and applications
• Graph transformation and visual modeling techniques
• scientific article; zbMATH DE number 1670819 (Why is no real title available?)
• scientific article; zbMATH DE number 2088775 (Why is no real title available?)
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Lessons Learned from Building a Graph Transformation System
• Tutorial Introduction to Graph Transformation
• Temporal Graph Queries to Support Software Evolution
• Application of Graph Transformation in Verification of Dynamic Systems
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• scientific article; zbMATH DE number 1231497 (Why is no real title available?)
• scientific article; zbMATH DE number 2016080 (Why is no real title available?)
• scientific article; zbMATH DE number 2087493 (Why is no real title available?)
• How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
• Visual design of software architecture and evolution based on graph transformation
• Defining object-oriented execution semantics using graph transformations
• Preserving consistency in geometric modeling with graph transformations
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 7809761 (Why is no real title available?)
• A living monograph for graph transformation

Describes a project that uses

Uses Software

• PROGRES

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4438799)