Lecture Notes In Computer Science (LNCS)

Laboratoire d'Informatique et d'Automatique pour les Systèmes

ISAE - ENSMA: Ecole Nationale Supérieure de Mécanique et d'Aérotechnique

Université de Poitiers

Région Poitou-Charentes

CRITT Informatique

2nd International Conference on Model & Data Engineering (MEDI’2012)

October 3 - 5 2012

Poitiers, Futuroscope - France

http://medi2012.ensma.fr


Long Papers

  • Roula Karam, Piero Fraternali, Alessandro Bozzon and Luca Galli. Modeling End-Users as Contributors in Human Computation Applications
  • Diego Rodriguez-Gracia, Javier Criado, Luis Iribarne, Nicolas Padilla and Cristina Vicente-Chicote. Runtime Adaptation of Architectural Models: an approach for adapting User Interfaces
  • Carlo Batini, Marco Comerio and Gianluigi Viscusi. Managing quality of large set of conceptual schemas in Public Administration: methods and experiences
  • Sebastien Maitrehenry, Yamine Ait-Ameur, Pierre Bieber and Sylvain Metge. A MDE-Based Synthesis of Aircraft Safety Models
  • Selma Djeddai, Martin Strecker and Mezghiche Mohamed. Integrating a Formal Development for DSLs into Meta-Modeling
  • Emsaieb Geepalla, Behzad Bordbar and Joel Last. Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy
  • Nesrine Ben Mustapha, Marie-Aude Aufaure, Hajer Baazaoui Zghal and Henda Ben Ghezala. Modular Ontological Warehouse for Adaptative Information Search
  • Meriem Djezzar, Mounir Hemam and Zizette Boufaida. Ontological Re-Classification of Individuals: A Multi-Viewpoints Approach
  • Jesus M. Almendros-Jimenez and Luis Iribarne. Transformation and Validation with SWRL and OWL of ODM based Models
  • Takashi Yanagisawa and Takao Miura. Context-based Query using Dependency Structures based on Latent Topic Model
  • Karabadji Nour Elislem, Khelf Ilyes and Seridi Hassina. Decision Tree Selection in an Industrial Machine Fault Diagnostics
  • Fairouz Dahi and Nora Bounour. Crosscutting Concerns Identification Approach based on the Sequence Diagram Analysis

Short Papers

  • Franck Barbier and Eric Cariou. Inductive UML
  • Anthony Fernandes Pires, Thomas Polacsek and Stéphane Duprat. Formal software verification at model and at source code levels
  • Jayanthi J. Software Effort Estimation precision: A Comparative Study of Estimations Based on ANN and Decision Tree Technique
  • Rania Soussi and Marie-Aude Aufaure Enterprise Ontology Learning for Heterogeneous Graphs Extraction
  • Jamel Feki and Said Taktak How to evolve DM after DW evolution