7 citations · 8 across the 3 of their papers we have counts for
3 papers · 1 filter
Abstraction Engineering
Nelly Bencomo, Jordi Cabot, Marsha Chechik +4
Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artifici…
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…
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…