Modelling Dynamic Software Architectures using Typed Graph Grammars

DOI10.1016/j.entcs.2008.04.073zbMath1283.68125OpenAlexW2020706931MaRDI QIDQ5403458

Antonio Bucchiarone, Hernán Melgratti, Roberto Bruni, Stefania Gnesi

Publication date: 26 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.073

zbMATH Keywords

dynamic software architecturestyped graph grammars and modelling

Mathematics Subject Classification ID

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

Cites Work

• Algebraic approach to single-pushout graph transformation
• The chemical abstract machine
• Unnamed Item
• Unnamed Item