Module integration using graph grammars (MIGRATE)

DOI10.1007/978-3-030-92137-8_6zbMath1498.68072OpenAlexW3198877988MaRDI QIDQ2154049

Diogo Raphael Cravo, Leila Ribeiro

Publication date: 13 July 2022

Full work available at URL: http://hdl.handle.net/10183/226284

zbMATH Keywords

graph grammarsoftware integrationverification tool

Mathematics Subject Classification ID

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

Related Items (1)

MIGRATE

Uses Software

• Verigraph
• APIDiff

Cites Work

• Unnamed Item
• Verigraph: a system for specification and analysis of graph grammars
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Fundamentals of algebraic graph transformation
• Graph Grammar Extraction from Source Code
• Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

This page was built for publication: Module integration using graph grammars (MIGRATE)