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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 29

Author(s):

F. Fleurey ◽

J. Steel ◽

B. Baudry

Keyword(s):

Model Transformations ◽

Model Driven Engineering ◽

Testing Model ◽

Model Driven

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 ◽

State System

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 ◽

Cited By ~ 3

Author(s):

A. Lakehal ◽

F. Ottabdesselam ◽

l. Parissis ◽

J. Vassy

Keyword(s):

Software Testing

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 ◽

Cited By ~ 1

Author(s):

M. Petit ◽

A. Gotlieb

Keyword(s):

Constraint Programming ◽

Structural Testing ◽

Ongoing Work ◽

Concurrent Constraint Programming

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 ◽

Cited By ~ 2

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 ◽

Model Design

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 ◽

Model Design

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Validation in model-driven engineering: testing model transformations

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

Models for synchronous software testing

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

Optimal allocation of testing resources

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

Blank page

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

Blank page

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

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