Research output per year
Research output per year
Search results
-
2013
Healthcare Information System Modelling
Hainaut, J-L., Brogneaux, A-F. & Cleve, A., 2013, Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care. Maria, I., Maria, M. & Cruz-Cunha, M. (eds.). IGI Global, Vol. 1. p. 539 558 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
-
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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
File146 Downloads (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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
-
2008
Migration of Legacy Information Systems
Hainaut, J-L., Cleve, A., Henrard, J. & Hick, J-M., 2008, Software Evolution. Tom, M. & Serge, D. (eds.). Berlin Heidelberg: Springer, p. 105-138 34 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
-
2006
Co-transformations in Database Applications Evolution
Cleve, A. & Hainaut, J-L., 2006, Generative and Transformational Techniques in Software Engineering. Lämmel, R., Saraiva, J. & Visser, J. (eds.). Springer, Vol. 4143. p. 409-421 13 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter