The Community for Technology Leaders
Proceedings. 2004 1st International Workshop on Model, Design and Validation. SIVOES - MoDeVa 2004 (2004)
Rennes, France
Nov. 2, 2004 to Nov. 2, 2004
ISBN: 0-7803-8852-6
TABLE OF CONTENTS

Preface (PDF)

pp. 5

Optimal allocation of testing resources (PDF)

Y. Le Traon , IRISA, Rennes, France
B. Baudry , IRISA, Rennes, France
pp. 9-17

Validation in model-driven engineering: testing model transformations (PDF)

F. Fleurey , IRISA, Rennes, France
J. Steel , IRISA, Rennes, France
B. Baudry , IRISA, Rennes, France
pp. 29-40

Models for synchronous software testing (PDF)

A. Lakehal , LSR-IMAG Lab., Grenoble, France
F. Ouabdesselam , LSR-IMAG Lab., Grenoble, France
I. Parissis , LSR-IMAG Lab., Grenoble, France
J. Vassy , LSR-IMAG Lab., Grenoble, France
pp. 41-50

Reliability analysis of the k-out-of-n multi-state system (PDF)

E. Zaitseva , Dept. of Informatics, Zilina Univ., Slovakia
S. Kovalik , Dept. of Informatics, Zilina Univ., Slovakia
V. Levashenko , Dept. of Informatics, Zilina Univ., Slovakia
K. Matiasko , Dept. of Informatics, Zilina Univ., Slovakia
pp. 51-57

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

B. Florentz , Inst. for Programming & Reactive Syst., Tech. Univ. of Braunschweig, Germany
M. Mutz , Inst. for Programming & Reactive Syst., Tech. Univ. of Braunschweig, Germany
M. Huhn , Inst. for Programming & Reactive Syst., Tech. Univ. of Braunschweig, Germany
pp. 59-66
90 ms
(Ver 3.3 (11022016))