1. Introductory paper

   • Paolo Bottoni
   • Mark Minas

   Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 83 - 84

2. 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

3. A component framework for system modeling based on high-level replacement systems

   • Hartmut Ehrig
   • Fernando Orejas
   • Martti Piirainen

   Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 114 - 135

4. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference

   • Nik Swoboda
   • Gerard Allwein

   Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 136 - 149

5. A method for describing the syntax and semantics of UML statecharts

   • Yan Jin
   • Robert Esser
   • Jörn W. Janneck

   Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 150 - 163

6. Scenario animation for visual behavior models: A generic approach

   • Claudia Ermel
   • Roswitha Bardohl

   Special section on graph transformations and visual modeling techniques 01 May 2004 Pages: 164 - 177