Recherche - IMT Mines Alès Accéder directement au contenu

Filtrer vos résultats

2 résultats
Image document

IDF: A framework for the incremental development and conformance verification of UML active primitive components

Thomas Lambolais , Anne-Lise Courbis , Hong-Viet Luong , Christian Percebois
Journal of Systems and Software, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Article dans une revue hal-01517375v1
Image document

A Three-level Component Model in Component Based Software Development

Huaxi Yulin Zhang , Lei Zhang , Christelle Urtado , Sylvain Vauttier , Marianne Huchard
ACM SIGPLAN Notices, 2013, 48 (3), pp.70-79. ⟨10.1145/2480361.2371412⟩
Article dans une revue hal-01319811v1