Recherche - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, site de l'UBO Accéder directement au contenu

Filtrer vos résultats

3 résultats

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A

Thorsten Berger , Philippe Collet , Laurence Duchien , Thomas Fogdal , Patrick Heymans , et al.
2019
Proceedings/Recueil des communications hal-02386136v1
Image document

REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges

Andrey Sadovykh , Tewfik Ziadi , Alessandra Bagnato , Thorsten Berger , Jan-Philipp Steghöfer , et al.
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
Communication dans un congrès hal-02428581v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff , et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue hal-00745370v1