7 citations · 8 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 1 cited
Report on the First Workshop On the Globalization of Modeling Languages
Benoit Combemale, Julien De Antoni, Robert B. France +6
The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solu…
cs.SE2014★ 7 cited
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale +1
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These ac…