
Vincent LEILDE
17
Documents
Publications
Publications
L'IDM, un levier pour l'intégration d'outils : l'approche iFESTGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Article dans une revue
hal-00677183
v1
|
|
Engineering projects "Savanturiers de l'ingénierieHICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States
Communication dans un congrès
hal-02332734
v1
|
|
Ingénierie des projets Savanturiers de l'ingénierieColloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès
hal-01839091
v1
|
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès
hal-01933792
v1
|
|
Domain-oriented Verification Management8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès
hal-01933794
v1
|
|
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
Communication dans un congrès
hal-01756178
v1
|
|
A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès
hal-01559688
v1
|
|
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone ProjectInternational Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
Communication dans un congrès
hal-01698582
v1
|
|
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
Communication dans un congrès
hal-01756186
v1
|
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604
v1
|
|
An Organizing System to Perform and Enable Verification and Diagnosis ActivitiesIntelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587
Communication dans un congrès
hal-01472718
v1
|
|
Model Federation in toolchainsMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914367
v1
|
Towards Tool Integration through Artifacts and RolesAsia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
Communication dans un congrès
hal-01472914
v1
|
|
Framework for Integrating ESL ToolsPMDE 2011, Jun 2011, United Kingdom
Communication dans un congrès
hal-00678272
v1
|
|
An approach for describing concurrency and communication of heterogeneous systemsBM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès
hal-01156533
v1
|
|
Model Based Engineering for the support of Models of Computation: The Cometa ApproachInternational Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Communication dans un congrès
hal-00635594
v1
|
|
MoPCoM Methodology: Focus on Models of Computation6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Communication dans un congrès
hal-00517464
v1
|
Chargement...
Chargement...