Benoit Combemale
Benoit Combemale
Professor of Software Engineering at University of Rennes 1
Verifierad e-postadress på irisa.fr - Startsida
Titel
Citeras av
Citeras av
År
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
1672007
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
1212014
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
1042009
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer 47 (6), 68-71, 2014
992014
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
902015
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
742015
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
692012
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
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
642016
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
502015
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
492016
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
482008
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
472015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20