Filtrer vos résultats
- 6
- 2
- 2
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 6
- 5
- 3
- 3
- 3
- 1
- 1
- 1
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
|
triés par
|
Designing, Animating, and Verifying Partial UML Models23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Communication dans un congrès
hal-02931876v1
|
|||
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCDGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006656v1
|
|||
Modélisation de l'étude de cas avec MARTEHermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
Chapitre d'ouvrage
hal-00862485v1
|
|||
Modélisation UML d'un régulateur de vitesse automobileGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006647v1
|
|||
Case Study Modeling Using MARTEEmbedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Chapitre d'ouvrage
hal-00821955v1
|
|||
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|