Search Sciweavers | Sciweavers

5525 search results - page 173 / 1105

» Verification of Model Transformations

Voted

SIMULATION
2002

115views more SIMULATION 2002»

Assessment of E-Business Transformation Using Simulation Modeling

15 years 3 months ago

Download miha.ef.uni-lj.si

Vesna Bosilj-Vuksic, Mojca Indihar Stemberger, Jur...

claim paper

Read More »

115

Voted

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 2 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

click to vote

JOT
2010

79views more JOT 2010»

Analysis and Transformation of Behavioral Models Containing Overlapped Patterns

15 years 2 months ago

Download www.jot.fm

Rainer Hauser

claim paper

Read More »

108

Voted

SE
2010

145views Software Engineering» more SE 2010»

ParTeG - Integrating Model-based Testing and Model Transformations

15 years 1 months ago

Download se2010.uni-paderborn.de

Dehla Sokenou, Stephan Weißleder

claim paper

Read More »

123

click to vote

SOSYM
2010

86views more SOSYM 2010»

Guest editorial to the special section on model transformation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers