 |
Free and accessible knowledge |
Conference papers
A refinement-based approach for specifying multi-scale software architectures
Ilhem Khlif
1
Imen Tounsi
1
Mohamed Hadj Kacem
Cédric Eichler
2
Ahmed Hadj Kacem
2
SDS - Sécurité des Données et des Systèmes
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Ilhem Khlif 1
Author
Imen Tounsi 1
Author
Mohamed Hadj Kacem
Author
Cédric Eichler 2
Author IdHAL : cedric-eichler ORCID : https://orcid.org/0000-0003-3026-1749
Ahmed Hadj Kacem
Author
1
REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées (Tunisia)
- ENIS - École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (Route Soukra, B.P.W, 3038 Sfax - Tunisia)
2
SDS - Sécurité des Données et des Systèmes (Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2 ; INSA CVL, 8 boulevard Lahitolle, CS 600013 – 18022 Bourges CEDEX - France)
- LIFO - Laboratoire d'Informatique Fondamentale d'Orléans (Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2 - France)
- INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire : EA 4022 (88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex - France)
- UO - Université d'Orléans : EA 4022 (Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2 - France)
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01836351
Contributor : Cédric Eichler Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:48:16 AM
Last modification on : Thursday, December 16, 2021 - 9:22:02 AM
Contributor : Cédric Eichler Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:48:16 AM
Last modification on : Thursday, December 16, 2021 - 9:22:02 AM
Identifiers
- HAL Id : hal-01836351, version 1
- DOI : 10.1145/3167132.3167309
Collections
Citation
Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem. A refinement-based approach for specifying multi-scale software architectures. 33rd annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167309⟩. ⟨hal-01836351⟩
Metrics
Record views