default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd VLFM@VL/HCC 2004: Rome, Italy
- Mark Minas:
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004. Electronic Notes in Theoretical Computer Science 127(4), Elsevier 2005 - Mark Minas:
Preface. 1-2 - Maria Encarnación Beato Gutiérrez
, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente:
UML Automatic Verification Tool with Formal Methods. 3-16 - Paul Ziemann, Karsten Hölscher, Martin Gogolla:
From UML Models to Graph Transformation Systems. 17-33 - Harald Störrle:
Semantics and Verification of Data Flow in UML 2.0 Activities. 35-52 - Andrew Fish, Jean Flower:
Investigating Reasoning with Constraint Diagrams. 53-69 - Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation. 71-86 - Michael Ebert, Georg Struth:
Diagram Chase in Relational System Development. 87-105 - Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese:
Towards Syntax-Aware Editors for Visual Languages. 107-125 - Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. 127-143 - Juan de Lara:
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. 145-162
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-30 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
