Temporal Graph Queries to Support Software Evolution

DOI10.1007/11841883_21MaRDI QIDQ3541968zbMATH OpenOpenAlexFDO

Authors Tobias Rötschke, Andy Schürr

Publication date 27 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11841883_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Formal Methods in Software and Systems Modeling
• Lessons Learned from Building a Graph Transformation System
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• scientific article; zbMATH DE number 2016090
• Graph transformation with incremental updates

Describes a project that uses

Uses Software

• PROGRES
• MOFLON
• Fujaba
• Moflon

This page was built for publication: Temporal Graph Queries to Support Software Evolution

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