Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-00862485v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00821955v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00912574v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
hal-00912587v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. Enhance the reusability of Models and their Behavioral correctness
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
...
hal-00914367v1  Communication dans un congrès
Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
...
hal-00914377v1  Communication dans un congrès
Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013, Sep 2013, Miami, United States
...
hal-00646876v1  Article dans une revue
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel. Automated Measurement of Models of Requirements
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩