I. Introduction VISUAL AUTOMATED MODEL TRANSFORMATION
Download:
by Dániel Varró, Advisor András Pataricza
http://www.mit.bme.hu/events/minisy2001/Minisymp2001-Cikkek/varro.pdf
Add To MetaCart
Abstract:
Citations
| 927 | The model checker SPIN – Holzmann - 1997 |
| 4 | Automatic transformation of UML models – Varró - 2000 |
| 3 | Taentzer (organizers): APPLIGRAPH Subgroup Meeting on Exchange Formats for Graph Transformation Systems – Engels, G - 2000 |
| 1 | et al.: "Graph Transformation for Specification and Programming – Andries - 1999 |
| 1 | Shankar: "The Formal Semantics of PVS – Owre, N - 1997 |
| 1 | Pataricza: "Designing the automatic transformation of visual languages – Varró, A - 2000 |
