|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 17 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
77 | Juan de Lara, Hans Vangheluwe |
AToM3: A Tool for Multi-formalism and Meta-modelling. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation |
64 | Juan de Lara, Hans Vangheluwe |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Paul Kilgo, Eugene Syriani, Monica Anderson 0001 |
A Visual Modeling Language for RDIS and ROS Nodes Using AToM3. |
SIMPAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Mouna Ait Oubelli, Nadia Younsi, Abdelkrim Amirat, Ahcene Menasria |
From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3. |
CIIA |
2011 |
DBLP BibTeX RDF |
|
35 | Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri |
Using AToM3 for the Verification of Workflow Applications. |
ICSOFT (2) |
2010 |
DBLP BibTeX RDF |
|
35 | Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara |
Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. |
JIISIC |
2007 |
DBLP BibTeX RDF |
|
35 | Hans Vangheluwe, Ximeng Sun, Eric Bodden |
Domain-Specific Modelling With Atom3. |
ICSOFT (PL/DPS/KE/MUSE) |
2007 |
DBLP BibTeX RDF |
|
35 | Juan de Lara, Hans Vangheluwe |
Using AToM3 as a Meta-Case Tool. |
ICEIS |
2002 |
DBLP BibTeX RDF |
|
21 | Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui |
Transforming UML models to colored petri nets models using graph grammars. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-driven assessment of system dependability. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Dependability, Requirements, Safety, Use cases |
21 | Thomas Huining Feng, Miriam Zia, Hans Vangheluwe |
Multi-formalism modelling and model transformation for the design of reactive systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation |
21 | Francisco Pérez Andrés, Juan de Lara, Esther Guerra |
Domain Specific Languages with Graphical and Textual Views. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Eric Bodden, Hans Vangheluwe |
Transforming Timeline Specifications into Automata for Runtime Monitoring. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Eugene Syriani, Hans Vangheluwe |
Programmed Graph Rewriting with DEVS. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Esther Guerra, Daniel Sanz, Paloma Díaz 0001, Ignacio Aedo |
A Transformation-Driven Approach to the Verification of Security Policies in Web Designs. |
ICWE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-Driven Assessment of Use Cases for Dependable Systems. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
21 | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Juan de Lara, Esther Guerra, Hans Vangheluwe |
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|