Accéder directement au contenu Accéder directement à la navigation


...
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
...
hal-00914367v1  Communication dans un congrès
Joël ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
hal-00517464v1  Communication dans un congrès
Ali KoudriJoël ChampeauJean-Christophe Le LannVincent Leilde. MoPCoM Methodology: Focus on Models of Computation
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
hal-00635594v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauVincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-01472914v1  Communication dans un congrès
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
...
hal-01698582v1  Communication dans un congrès
Vincent RibaudVincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
...
hal-01756178v1  Communication dans un congrès
Cassandra BallandEsther BernardMorgane CoatIsabelle FouquéLouise Hergoualc 'H et al.  Apprentissage par projets à l'école primaire avec les filles qui. . .
RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
...
hal-01839091v1  Communication dans un congrès
Vincent RibaudChabha HirecheArwa KhannoussiVincent LeildeCécile Plaud et al.  Ingénierie des projets Savanturiers de l'ingénierie
Colloque Education par la recherche, Jul 2018, Paris, France