Filter
Chapter

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 proceedingChapter

  • 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 proceedingChapter

    File
    155 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 proceedingChapter

  • 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 proceedingChapter

  • 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 proceedingChapter