• 631 Citations
  • 15 h-Index
1974 …2015

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jean-Luc HAINAUT is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 11 Similar Profiles

Projects

RW FEDER-eHeath: E-Health-TIC

HAINAUT, J., THIRAN, P., Van Gyseghem, J., BENDAOUD, R. & LIM, E.

31/10/09 → …

Project: Research

BioMaze: BioMaze

HAINAUT, J., Debois, E. & HICK, J.

15/10/03 → …

Project: Research

ReQuest: ReQuest

ENGLEBERT, V., HAINAUT, J., BROGNEAUX, A., RAMDOYAL, R. & Vilz, J.

1/10/03 → …

Project: Research

DB-MAIN: Database Application Engineering

HAINAUT, J., ENGLEBERT, V., ENGLEBERT, V., HENRARD, J., HICK, J. & ROLAND, D.

1/09/93 → …

Project: Research

Research Output

File
  • Relational symbolic execution of SQL code for unit testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In : Science of Computer Programming. 105, p. 44-72 29 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 86 Downloads (Pure)

    Healthcare information system modelling

    Hainaut, J. L., Brogneaux, A-F. & Cleve, A., 31 Aug 2014, Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 1. p. 424-444 21 p.

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

  • File

    Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
  • Thesis

    A contribution to C++ database development methodology

    Author: Lambers, P., 1998

    Supervisor: Hainaut, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    Acquisistion de Spécification à partir du Langage Naturel

    Author: Thiran, P., 1997

    Supervisor: Hainaut, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    Acquisition de spécifications à partir du langage naturel

    Author: Thiran, P., 1997

    Supervisor: Hainaut, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Analyse conceptuelle de documents cartographiques

    Author: Detienne, V., 1996

    Supervisor: Hainaut, J. (Jury)

    Student thesis: Master typesMaster in Computer science

    File

    Application orientée objets: contribution à la modélisation et au prototypage

    Author: Bersez, F., 1993

    Supervisor: Hainaut, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File