Nombre de documents trouvés : 34 documents

1 - 2 - 3 - 4

On Model Subtyping Guy C., Combemale B., Derrien S., Steel Richard Heron J., Jézéquel J.-M. Dans ECMFA - 8th European Conference on Modelling Foundations and Applications (2012) [hal-00695034 - version 1]

Découpez vos Modèles avec Kompren : une Démonstration Blouin A., Combemale B., Baudry B. Démonstration (2012) [hal-00696149 - version 1]

A Tridimensional Approach for Studying the Formal Verification of Model Transformations Amrani M., Lucio L., Selim G., Combemale B., Dingel J., Vangheluwe H., Le Traon Y., Cordy J. R. Dans Verification and validation Of model Transformations (VOLT) (2012) [hal-00684717 - version 1]

Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices Cadavid J., Combemale B., Baudry B. N° RR-7882 (2012) [hal-00670652 - version 2]

Ingénierie Dirigée par les Modèles : des concepts à la pratique... Jézéquel J.-M., Combemale B., Vojtisek D. Ellipses (Ed.) (2012) 144 [hal-00648489 - version 1]

Modeling Model Slicers Blouin A., Combemale B., Baudry B., Beaudoux O. Dans ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems 6981 (2011) 62--76 [inria-00609072 - version 1]

Model-Driven Engineering and Optimizing Compilers: A bridge too far? Floch A., Yuki T., Guy C., Derrien S., Combemale B., Rajopadhye S., France R. Dans International Conference on Model Driven Engineering Languages and Systems (2011) [inria-00613575 - version 1]

Empirical evaluation of the conjunct use of MOF and OCL Cadavid J., Baudry B., Combemale B. Dans Experiences and Empirical Studies in Software Modelling (EESSMod 2011) (2011) [hal-00647347 - version 2]

A Proof Assistant Based Formalization of components in MDE Kezadri M., Combemale B., Pantel M., Thirioux X. Dans 8th International Symposium on Formal Aspects of Component Software (FACS 2011) (2011) [inria-00614593 - version 1]

Teaching MDE through the Formal Verification of Process Models Combemale B., Crégut X., Dieumegard A., Pantel M., Zalila F. Dans 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011) (2011) [hal-00646426 - version 1]

1 - 2 - 3 - 4

L'URL de cette page est : http://hal.inria.fr/aut/Benoit Combemale/