Publication
Towards Safer Composition
| Auteur(s) | Andreas CLASSEN, Patrick HEYMANS, Thein Than TUN, Bashar NUSEIBEH |
| Unité(s) de recherche(s) |
PReCISE Research Center
Pôle sémantique, logique et calcul Evolution |
| Projet de recherche | Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) |
| Année | 2009 |
| Type | Actes de colloques |
| Langue | Anglais |
| Editeur | IEEE |
| Mots clés | |
| Résumé | |
| Versions électroniques | Fichier PDF |
Actes d'un colloque
| Titre ouvrage | Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track |
| Sous-titre | |
| Auteur | Harald C. Gall, Alessandro Orso |
| Collection | |
| Sous-collection | |
| Numéro volume | |
| Pages | 227 - 230 |
