Search Sciweavers | Sciweavers

3885 search results - page 59 / 777

» Transformations for Write-All-with-Collision Model

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 19 days 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 8 days 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 2 days 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?

13 years 12 months ago

Download www.wiso.uni-hamburg.de

Markus Nüttgens, Thomas Feld, Volker Zimmerma...

claim paper

Read More »

click to vote

CAISE
2006
Springer

76views Information Technology» more CAISE 2006»

Towards a Unified View of Model Mapping and Transformation

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers