The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL

Flavio Oquendo 1 Jeremy Buisson 1 Elena Leroux 1 Gersan Moguérou 1 Jean Quilbeuf 2, 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01443130
Contributeur : Flavio Oquendo <>
Soumis le : dimanche 22 janvier 2017 - 16:43:51
Dernière modification le : mercredi 16 mai 2018 - 11:24:11

Identifiants

  • HAL Id : hal-01443130, version 1

Citation

Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf. The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL. Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark. 〈hal-01443130〉

Partager

Métriques

Consultations de la notice

409