Filtrer vos résultats
- 9
- 6
- 14
- 1
- 14
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 4
- 1
- 13
- 2
- 8
- 8
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 15
- 8
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
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-00635594v1
|
|||
An approach for describing concurrency and communication of heterogeneous systemsBM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès
hal-01156533v1
|
|||
|
|
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-01933792v1
|
||
|
|
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-01698582v1
|
||
|
|
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-01756186v1
|
||
Framework for Integrating ESL ToolsPMDE 2011, Jun 2011, United Kingdom
Communication dans un congrès
hal-00678272v1
|
|||
|
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604v1
|
||
|
|
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-01933794v1
|
||
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-00517464v1
|
|||
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-00677183v1
|
|||
|
|
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-01756178v1
|
||
|
|
Model Federation in toolchainsMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914367v1
|
||
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-01472914v1
|
|||
|
|
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-01559688v1
|
||
|
|
Ingénierie des projets Savanturiers de l'ingénierieColloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès
hal-01839091v1
|