Résultat de recherche par an
Résultat de recherche par an
Résultat de recherche
Résultats de recherche
-
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érence › Chapitre
-
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érence › Chapitre
Accès ouvertFile226 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érence › Chapitre
File154 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érence › Chapitre
-
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érence › Chapitre
Accès ouvertFile93 Téléchargements (Pure)