Designing the automatic transformation of visual languages

DOI10.1016/S0167-6423(02)00039-4MaRDI QIDQ701039zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

validationvisual languagesgraph transformationmodel transformationsystem verificationUMLdependabilityMOFplanner algorithms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Automating the transformation-based analysis of visual languages
• scientific article; zbMATH DE number 1236363
• Syntax-directed implementation of visual languages based on automaton graphical grammars
• An approach for development of domain-specific visual languages

Cited in

(5)

• Using formal methods with SysML in aerospace design and engineering
• Using source transformation to test and model check implicit-invocation systems
• Theorem proving graph grammars with attributes and negative application conditions
• Automated Technology for Verification and Analysis
• Automating the transformation-based analysis of visual languages

Describes a project that uses

Uses Software

• PROGRES
• SPIN

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

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