Designing the automatic transformation of visual languages

DOI10.1016/S0167-6423(02)00039-4zbMath1014.68039DBLPjournals/scp/VarroVP02OpenAlexW2021327849WikidataQ57090169 ScholiaQ57090169MaRDI QIDQ701039

Dániel Varró, Gergely Varró, András Pataricza

Publication date: 16 October 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00039-4

zbMATH Keywords

model transformationvalidationvisual languagesgraph transformationsystem verificationUMLdependabilityMOFplanner algorithms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Theorem proving graph grammars with attributes and negative application conditions

Uses Software

• PROGRES
• SPIN

This page was built for publication: Designing the automatic transformation of visual languages