Documentation


Deliverables



Publications


  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard: Addressing modularity for heterogeneous multi-model systems using model federation. Workshop on Modularity in Modelling (MOMO 2016), MODULARITY (Companion) 2016: 206-211
  • Amel Mammar, Régine Laleau : On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISOLA 2016, Lecture Notes in Computer Science, Springer, octobre 2016, à paraître (15 pages)
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard: Continuous Requirements Engineering using Model Federation. RE:Next! Track at 24th IEEE International Requirements Engineering Conference 2016, septembre 2016, à paraître (6 pages)