Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Elie Soubiran"'
Publikováno v:
Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
International audience; Designing software architectures and optimizing them based on extra-functional properties (EFPs) require to identify appropriate design decisions and to apply them on valid architectural elements. Software designers have to ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34df38a8a615fb79ae4504f83e7eb407
https://hal.telecom-paris.fr/hal-02292455
https://hal.telecom-paris.fr/hal-02292455
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319105567
SAFECOMP Workshops
SAFECOMP Workshops
This paper aims at describing the contribution of the technological brick Safety Architect to the CRYSTAL project. The goal of the CRYSTAL project is to provide a platform of interoperability between tools supporting all the steps constituting the li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a2e319b38e48fa0face019cbbe1c76f
https://doi.org/10.1007/978-3-319-10557-4_16
https://doi.org/10.1007/978-3-319-10557-4_16
Autor:
Elie Soubiran, Fabien Belmonte
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336744
SAFECOMP Workshops
SAFECOMP Workshops
This paper deals with model based safety engineering in Railway signaling systems development. Recently, model based system engineering (MBSE) has brought new specification means for large industrial system. Alstom Transport develops its own MBSE met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fe3e36586f6c16ff93b2a3064977079
https://doi.org/10.1007/978-3-642-33675-1_5
https://doi.org/10.1007/978-3-642-33675-1_5
Autor:
Elie Soubiran
Publikováno v:
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants.
We present an evolution of the Coq module system where we unify both structure (i.e. module implementation) and signature (i.e. module interface) into a single concept called theory. In order to easily derive theories, we equip our system with three
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b4a2c70f5c2a67006483b601aab2454
https://doi.org/10.1145/1735813.1735820
https://doi.org/10.1145/1735813.1735820
