Visual Design of Software Architecture and Evolution based on Graph Transformation
From MaRDI portal
Publication:4923508
DOI10.1016/S1571-0661(04)80943-5zbMath1263.68109OpenAlexW2034346969MaRDI QIDQ4923508
Roswitha Bardohl, Julia Padberg, Claudia Ermel
Publication date: 24 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80943-5
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
This page was built for publication: Visual Design of Software Architecture and Evolution based on Graph Transformation