1

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Florian Galinier, Sophie Ebersold-Marcaillou, Jean-Michel Bruel

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober

Trace Comprehension Operators for Executable DSLs

Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer

Collaborative model-based matching of heterogeneous models

Saloua Bennani, Mahmoud El Hamlaoui, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette

Collaborative Processes Management: from Modeling to Enacting

Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah

Heterogeneous design models alignment: from matching to consistency management

Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette

AHM: Handling heterogeneous models matching and consistency via MDE

Mahmoud El Hamlaoui, Saloua Bennani, Sophie Ebersold-Marcaillou, Mahmoud Nassar, Bernard Coulette

Model driven consistency for heterogeneous models

Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold-Marcaillou, Bernard Coulette

Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model

Imad Eddine Saidi, Mahmoud El Hamlaoui, Taoufiq Dkaki, Nacer Eddine Zarour, Pierre-Jean Charrel

Modeling Co-simulation: A First Experiment

Model-Based Systems Engineering plays a key role in managing the complexity in the development of modern cyber-physical systems. Model …

Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel