Benoit Combemale

mde sle dsl software language engineering modeling model-driven engineering domain-specific language software engineering gemoc sustainability modeling language iot ale sirius emf eclipse rascal flexmde model typing model debugging concurrency analysis coordination concurrency software verification and validation metamodeling coq coinduction infinite model agile software development diversity spl variability debugging cps v&v hdr