Search Sciweavers | Sciweavers

14809 search results - page 116 / 2962

» Model transformation by demonstration

click to vote

EICS
2010
ACM

128views Applied Computing» more EICS 2010»

Model a discourse and transform it to your user interface

14 years 2 months ago

Download www.iaria.org

Hermann Kaindl

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 2 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

PAAMS
2009
Springer

112views Intelligent Agents» more PAAMS 2009»

INGENIAS Development Assisted with Model Transformation By-Example: A Practical Case

14 years 1 months ago

Download grasia.fdi.ucm.es

Iván García-Magariño, Jorge J...

claim paper

Read More »

click to vote

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

14 years 1 months ago

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

click to vote

UML
1997
Springer

267views Natural Language Processing» more UML 1997»

Business Process Modeling with EPC and UML: Transformation or Integration?

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers