Sciweavers

9006 search results - page 13 / 1802

» Modeling Software

27

ISPW
2008
IEEE

118views Software Engineering» more ISPW 2008»

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

14 years 4 months ago

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

Download www.icsp-conferences.org

Eduardo Aranha, Paulo Borba

claim paper

Read More »

28

KBSE
2008
IEEE

99views Software Engineering» more KBSE 2008»

Model-Driven Development of Mobile Applications

14 years 4 months ago

Model-Driven Development of Mobile Applications

Download www.medien.ifi.lmu.de

Florence T. Balagtas-Fernandez, Heinrich Hussmann

claim paper

Read More »

23

CSMR
2007
IEEE

93views Software Engineering» more CSMR 2007»

Metamodel-Based Inference of Inter-Model Correspondence

14 years 4 months ago

Metamodel-Based Inference of Inter-Model Correspondence

Download www.cs.tut.fi

Petri Selonen, Markus Kettunen

claim paper

Read More »

24

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

14 years 4 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

27

B
2007
Springer

140views Software Engineering» more B 2007»

Meca: A Tool for Access Control Models

14 years 4 months ago

Meca: A Tool for Access Control Models

Download membres-liglab.imag.fr

Amal Haddad

claim paper

Read More »

« Prev « First page 13 / 1802 Last » Next »