Documentation


Deliverables



Publications


  • Steve Jeffrey Tueno Fotso, Régine Laleau, Amel Mammar, Marc Frappier:Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. IEEE proceedings of MoDRE workshop, 25th IEEE International Requirements Engineering Conference 2017, pages 1-5.
  • Fahad R. Golra, Fabien Dagnat, Antoine Beugnard et Reda Bendraou. Continuous process compliance using Model Driven Engineering. MEDI 2017, 7th International Conference on Model and Data Engineering, 2017, Barcelona, Spain, Springer, Lecture Notes in Computer Science 10563: 42-56
  • Régine Laleau, Amel Mammar: Integrating domain knowledge in formal requirements engineering. NII Shonan Meeting Seminar 090: Implicit and explicit semantics integration in proof based developments of discrete systems, November 22 -25, 2016. http://shonan.nii.ac.jp/shonan/wpcontent/uploads/2011/09/No.2016-16.pdf.
  • 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, octobre 2016, Springer, Lecture Notes in Computer Science 9952: 325-339
  • 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, pages 347-352