Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By IEEE

0780388526

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Validation in model-driven engineering: testing model transformations

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425846 ◽

2006 ◽

Author(s):

F. Fleurey ◽

J. Steel ◽

B. Baudry

Keyword(s):

Model Transformations ◽

Model Driven Engineering ◽

Testing Model ◽

Download Full-text

Reliability analysis of the k-out-of-n multi-state system

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425848 ◽

2006 ◽

Author(s):

E. Zaitseva ◽

S. Kovalik ◽

V. Levashenko ◽

K. Matiasko

Keyword(s):

Reliability Analysis ◽

Download Full-text

An ongoing work on statistical structural testing via probabilistic concurrent constraint programming

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425844 ◽

2006 ◽

Author(s):

M. Petit ◽

A. Gotlieb

Keyword(s):

Constraint Programming ◽

Structural Testing ◽

Ongoing Work ◽

Concurrent Constraint Programming

Download Full-text

Models for synchronous software testing

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425847 ◽

2006 ◽

Author(s):

A. Lakehal ◽

F. Ottabdesselam ◽

l. Parissis ◽

J. Vassy

Keyword(s):

Software Testing

Download Full-text

Optimal allocation of testing resources

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425842 ◽

2006 ◽

Author(s):

Y. Le Traon ◽

B. Baudry

Keyword(s):

Optimal Allocation

Download Full-text

Avoiding unpredicted behaviour of large scale embedded systems by design and application of modelling rules

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425850 ◽

2006 ◽

Author(s):

B. Florentz ◽

M. Mutz ◽

M. Huhn

Keyword(s):

Embedded Systems ◽

Large Scale ◽

Design And Application

Download Full-text

Blank page

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425831 ◽

2004 ◽

Download Full-text

2004 1st International Workshop on Model, Design and Validation (SIVOES - MoDeVa)

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425832 ◽

2004 ◽

Keyword(s):

International Workshop ◽

Download Full-text

Blank page

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425833 ◽

2004 ◽

Download Full-text

2004 1st International Workshop on Model, Design and Validation (SIVOES - MoDeVa)

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. ◽

10.1109/modeva.2004.1425830 ◽

2004 ◽

Keyword(s):

International Workshop ◽

Download Full-text