• 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 in- terested in combining MDE with validation and verification. The 10thedition took place on the 1stof October 2013 and was co-located with MODELS’13 in Miami.

The special topic of this edition was the use of models to increase the the usability of verification tools.

Out of the 13 papers submitted and reviewed by at least three members of the program committee, 9 were selected. About 30 participants attended this edition of the workshop.

In addition to the presentation of the selected papers from the technical program, MoDeVVA’13 featured an invited presentation by Marsha Chechik from the Univer- sity of Toronto. Her highly inspiring talk gave an overview of research results in formalizing and checking the consistency and completeness of incomplete models.

This volume contains versions of the selected papers that the authors had the opportunity to enhance after the workshop and the fruitful discussions that occurred during the whole day. The papers where collected using the EasyChair conference system, formatted according to the LNCS style, and assembled using pdfLATEX and the pdfpages package.

Program Committee

Ait Sadoune, Idir,Supélec - E3S, France Ammann, Paul,George Mason University, USA

Balaban, Mira,Ben-Gurion University of the Negev, Israel Barroca, Bruno,CITI-FCT/UNL, Portugal

Bouquet, Fabrice,University of Franche-Comté, France Bousse, Erwan,Université de Rennes 1, France

Cheng, Chih-Hong,Fortiss - Munich Software and Systems Institute, Germany Derrick, John,University of Sheffield, United Kingdom

Fondement, Frédéric,Université de Haute Alsace, France Jacquet, Christophe,Supélec - E3S, France

Legeard, Bruno,Smartesting, France Lúcio, Levi,MSDL, Canada

Merayo, Mercedes,Universidad Complutense de Madrid, Spain Minea, Marius,Politehnica University of Timisoara, Romania Motta, Alfredo,Politecnico di Milano, Italy

Salay, Rick,University of Toronto, Canada

Scheidgen, Markus,Humboldt-Universitt zu Berlin, Germany Schieferdecker, Ina,FU Berlin/Fraunhofer FOKUS, Germany Sokenou, Dehla,GEBIT Solutions, Germany

Taha, Safouan,Supélec - E3S, France

Weißleder, Stephan,Fraunhofer FOKUS, Germany Williams, James,University of York, United Kingdom Wimmer, Manuel,Vienna University of Technology, Austria Zurowska, Karolina,Queen’s University, Canada

October 25, 2013

Gif-sur-Yvette Frédéric Boulanger

Michalis Famelis Daniel Ratiu

Références

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

Documents relatifs

Preface

Stefan Dietze, L3S Research Centre, Leibniz University Hannover, Germany Wim Peters, University of Sheffield, United Kingdom. Jonathon Hare, University of Southampton,

Preface

Stephan Haarmann Hasso Plattner Institute, University of Potsdam Johannes Manner University of Bamberg.

Preface

† Fraunhofer Institute for Applied Information Technology FIT, Germany Knowledge Media Institute (KMI), The Open University, UK.. ⊕ University of Cagliari,

Preface

Matteo Nardelli University of Rome Tor Vergata Luise Pufahl HPI, University of Potsdam Stephan Reiff-Marganiec University of Leicester Gerald Schermann University of Zurich.

Preface

– Jarosław Bąk, Poznan University of Technology – Tru Cao, Ho Chi Minh City University of Technology – Miguel Ceriani, Queen Mary University of London – Gong Cheng,

Preface

Jörg Lenhard Karlstad University Henrik Leopold VU University Amsterdam Stephan Reiff-Marganiec University of Leicester Andreas Schoenberger Siemens AG. Stefan Schulte

Preface

Bernhard Moser, Software Competence Center Hagenberg, Austria Iulia Nica, Graz University of Technology, Austria (Co-Chair) Bernhard Peischl, Graz University of Technology,

Preface

Marko Bajec (University of Ljubljana, Slovenia) Johann Eder (University of Klagenfurt, Austria).