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)
1
PReCISE -
PReCISE Research Centre in Information Systems Engineering
2 PReCISE
3 ADAM - Adaptive Distributed Applications and Middleware
4 Université de Lille, Sciences et Technologies
5 LIFL - Laboratoire d'Informatique Fondamentale de Lille
6 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
7 TRISKELL - Reliable and efficient component based software engineering
2 PReCISE
3 ADAM - Adaptive Distributed Applications and Middleware
4 Université de Lille, Sciences et Technologies
5 LIFL - Laboratoire d'Informatique Fondamentale de Lille
6 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
7 TRISKELL - Reliable and efficient component based software engineering