Introductory paper Paolo BottoniMark Minas Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 83 - 84
Automated formal verification of visual modeling languages by model checking Dániel Varró Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 85 - 113
A component framework for system modeling based on high-level replacement systems Hartmut EhrigFernando OrejasMartti Piirainen Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 114 - 135
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference Nik SwobodaGerard Allwein Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 136 - 149
A method for describing the syntax and semantics of UML statecharts Yan JinRobert EsserJörn W. Janneck Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 150 - 163
Scenario animation for visual behavior models: A generic approach Claudia ErmelRoswitha Bardohl Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 164 - 177