• 2783 Citations
  • 25 h-Index
19952020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

Filtrer
Chapitre
2017

Engineering Configuration Graphical User Interfaces from Variability Models

Boucher, Q., Perrouin, G., Davril, J-M. & Heymans, P., 2017, Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer, p. 1-46

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
33 Téléchargements (Pure)

Feature-based Elicitation of Cognitively Efficient Visualizations for SPL Configurations

Sauvage-Thomase, C., Biri, N., Perrouin, G., Genon, N. & Heymans, P., 2017, Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer Verlag, p. 107-129

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
18 Téléchargements (Pure)
2016

Beyond de-facto standards for designing human-computer interactions in configurators

Leclercq, T., Davril, J. M., Cordy, M. & Heymans, P., 2016, CEUR Workshop Proceedings. Vol 1705. p. 40-43 4 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

2013

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
189 Téléchargements (Pure)
2012

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 2012, Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol 1. p. 66-75 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

File
121 Téléchargements (Pure)

Managing evolution in Software Product Lines: A model-checking perspective

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Towards an incremental automata-based approach for software product-line model checking

Cordy, M., Schobbens, P., Heymans, P. & Legay, A., 1 janv. 2012, ACM International Conference Proceeding Series. Vol 2. p. 74-81 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
70 Téléchargements (Pure)
2010

A Systematic Approach to Define the Domain of Information System Security Risk Management

Dubois, E., Heymans, P., Mayer, N. & Matulevicius, R., 2010, Intentional Perspectives on Information Systems Engineering. Salinesi, C., Nurcan, S. & Souveyet, C. (eds.). Springer

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

2007

Ontological Analysis of KAOS using Separation of Reference

Matulevicius, R., Heymans, P. & Opdahl, A., 2007, Contemporary Issues in Database Design and Information Systems Development. Siau K.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

2005

A Template-Based Analysis of GRL: Chapter 8

Heymans, P., Saval, G., Dallons, G. & Pollet, I., 2005, Advanced Topics in Database Research . Siau, K. (Ed.). Hershey, PA, USA: Idea group Publishing, Vol 5. p. 124-146 23 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre