• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Preface

The MoDeVVA workshop series brings together researchers and practitioners interested the application of validation and verification (V&V) techniques in model-driven engineering (MDE). The main goals of the workshop are to iden- tify, discuss, and elaborate mutual impacts of MDE and V&V.

The 12th edition of MoDeVVA took place on the 29th of September 2015 and was co-located with MODELS15 in Ottawa, Canada. After a careful re- viewing process with many stimulating discussions, six papers were selected for presentation of the workshop. Each paper was reviewed by at least three mem- bers of the program committee. We would like to thank the members of the PC for their support in setting up an interesting program for MoDeVVA.

In addition to the presentations of the papers selected by the program com- mittee, MoDeVVA 15 featured an invited presentation by J¨urgen Dingel who is Associate Professor in School of Computing of Queen’s University with the ti- tle “Irrelevant or indispensable? MDE, formal methods and current computing trends”.

Program Committee

Mira Balaban Brun Barroca Fr´ed´eric Boulanger Fabrice Bouquet Chih-Hong Cheng John Derrick Michalis Famelis Leen Lambers Bruno Legeard Levi Lucio Mercedes Merayo

Marius Minea Ernesto Posse Daniel Ratiu Markus Scheidgen Martina Seidl Gehan Selim Jocelyn Simmonds Dehla Sokenou Maria Spichkova Manuel Wimmer

1

Références

Télécharger maintenant ( PDF - 1 Page - 32.62 KB )

Documents relatifs

Nicolas BARBAROUX Associate Professor in Economics

Following the Wicksellian heritage, the Swedish central bank abandoned, in 1931, the gold standard system (and its external stability objective) to the benefit of a more

Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa)

The 15 th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa) was held on October 16 th in Copenhagen, Denmark, co-located with the ACM/IEEE 21 st

Statement by the representative of the WHO staff associations

Safety means a workplace where staff are free from bullying and harassment, or the fear of harassment, in all its ugly forms, and when such behaviour makes itself

Statement by the representative of the WHO staff associations

How to create an attractive and supportive working environment for health professionals, Copenhagen, World Health Organization Regional Office for Europe: Health

Amendments to the Statutes governing the foundations administered by WHO

The Director-General has the honour to transmit to the Forty-eighth World Health Assembly, for information, the amendments 1 (Annex) to the Statutes governing the Léon

Acknowledgements WHO Regional Office for the Western Pacific acknowledges the contributions made by Professor Phyllis J. Watson to this publication.

• An Automated Patient Administration System (PAS) – This would also be critical for the effective operation of the proposed system. An admission, discharge, and transfer

Statement by the representative of the WHO staff associations

It is clear that, in the light of such attacks on conditions of employment, staff were pleased to see that the Federation of International Civil Servants' Associations

Statement by the representative of the WHO Staff Associations

Since its founding in 1948 ，WHO has built up an outstanding record of accomplishment in international public health. WHO staff are immensely proud to serve their Organization and