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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00718180
Contributor : Patrick Heymans <>
Submitted on : Monday, July 16, 2012 - 2:10:02 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM

Identifiers

  • 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. ⟨hal-00718180⟩

Share

Metrics

Record views

1255