2018
Conference papers
- titre
- A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees
- auteur
- Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou
- article
- 13th Annual Conference on System of Systems Engineering (SoSE), Jul 2018, Paris, France. ⟨10.1109/SYSOSE.2018.8428726⟩
- Accès au bibtex
-
2016
Conference papers
- titre
- The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL
- auteur
- Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
- article
- Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
- Accès au bibtex
-
2007
Conference papers
- titre
- Applying Contract Based Built-in Testing (CBBT) to Java Language
- auteur
- Daniel Deveaux, Gersan Moguérou
- article
- Software Engineering Today (SET 2007), May 2007, Zurich, Switzerland
- Accès au bibtex
-