Benoit Combemale
Benoit Combemale
Professor of Software Engineering at University of Rennes 1
Vahvistettu sähköpostiosoite verkkotunnuksessa irisa.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Definition of an Executable SPEM 2.0
R Bendraou, B Combemale, X Crégut, MP Gervais
14th Asia-Pacific Software Engineering Conference (APSEC'07), 390-397, 2007
1702007
The relevance of model-driven engineering thirty years from now
G Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...
International Conference on Model Driven Engineering Languages and Systems …, 2014
1272014
Essay on semantics definition in MDE. An instrumented approach for model verification
B Combemale, X Crégut, PL Garoche, X Thirioux
Journal of Software 4 (9), 943-958, 2009
1062009
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer 47 (6), 68-71, 2014
1012014
Melange: A meta-language for modular and reusable development of dsls
T Degueule, B Combemale, A Blouin, O Barais, JM Jézéquel
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
932015
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
M Amrani, L Lúcio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
Journal of Technology, 2014
81*2014
On model subtyping
C Guy, B Combemale, S Derrien, JRH Steel, JM Jézéquel
European Conference on Modelling Foundations and Applications, 400-415, 2012
772012
Mashup of metalanguages and its implementation in the kermeta language workbench
JM Jézéquel, B Combemale, O Barais, M Monperrus, F Fouquet
Software & Systems Modeling 14 (2), 905-920, 2015
752015
Modeling modeling modeling
PA Muller, F Fondement, B Baudry, B Combemale
Software & Systems Modeling 11 (3), 347-359, 2012
732012
Ingénierie Dirigée par les Modèles: des concepts à la pratique...
JM Jézéquel, B Combemale, D Vojtisek
Ellipses, 2012
702012
Execution framework of the gemoc studio (tool demo)
E Bousse, T Degueule, D Vojtisek, T Mayerhofer, J Deantoni, ...
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
662016
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
European Conference on Model Driven Architecture-Foundations and …, 2008
652008
A Design Pattern to Build Executable DSMLs and Associated V&V Tools
B Combemale, X Crégut, M Pantel
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific 1, 282-287, 2012
612012
Modeling model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
International Conference on Model Driven Engineering Languages and Systems …, 2011
582011
A behavioral coordination operator language (BCOoL)
MEV Larsen, J Deantoni, B Combemale, F Mallet
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
522015
Engineering modeling languages: Turning domain knowledge into tools
B Combemale, R France, JM Jézéquel, B Rumpe, J Steel, D Vojtisek
CRC Press, 2016
502016
Supporting efficient and advanced omniscient debugging for xDSMLs
E Bousse, J Corley, B Combemale, J Gray, B Baudry
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
492015
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
492015
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
492015
Approche de métamodélisation pour la simulation et la vérification de modèle--Application à l'ingénierie des procédés
B Combemale
Institut National Polytechnique de Toulouse-INPT, 2008
492008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20