Towards Behavioural Model-Driven Validation of Software Product Lines

Xavier Devroey 1 Maxime Cordy 2 Gilles Perrouin 1 Eun-Young Kang 1 Pierre-Yves Schobbens 2 Patrick Heymans 1, 3, 4, 5 Axel Legay 6 Benoit Baudry 7
2 PReCISE
PReCISE - PReCISE Research Centre in Information Systems Engineering
3 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
6 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
7 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00718180
Contributeur : Patrick Heymans <>
Soumis le : lundi 16 juillet 2012 - 14:10:02
Dernière modification le : vendredi 13 janvier 2017 - 14:19:13

Identifiants

  • HAL Id : hal-00718180, version 1

Citation

Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, et al.. Towards Behavioural Model-Driven Validation of Software Product Lines. 5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece. 2012. <hal-00718180>

Partager

Métriques

Consultations de la notice

473