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

Empreinte digitale Examinez les sujets de recherche où Jean-Luc Hainaut est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 9 Profils similaires
Reverse engineering Ingénierie et Science des Matériaux
Data structures Ingénierie et Science des Matériaux
Information systems Ingénierie et Science des Matériaux
Reengineering Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Information management Ingénierie et Science des Matériaux
XML Ingénierie et Science des Matériaux
HTML Ingénierie et Science des Matériaux

Projets 1993 2015

Résultat de recherche 1974 2015

File
Testing
Surface mount technology
86 Downloads (Pure)

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

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

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Testing
Surface mount technology

Healthcare information system modelling

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

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

Information Systems
Delivery of Health Care
Personnel Management
Forms and Records Control
Critical Pathways

Testing Database Programs using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

Résultats de recherche: Papier de travailArticle de travail

File

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

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 mai 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

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

Accès ouvert
File
Testing
Surface mount technology
Semantics

Thèse

A contribution to C++ database development methodology

Auteur: Lambers, P., 1998

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Acquisistion de Spécification à partir du Langage Naturel

Auteur: Thiran, P., 1997

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Acquisition de spécifications à partir du langage naturel

Auteur: Thiran, P., 1997

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

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

Auteur: Bersez, F., 1993

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Architecting software systems using model transformations and architectural frameworks

Auteur: Perrouin, G., 20 sept. 2007

Superviseur: Heymans, P. (Promoteur), Hainaut, J. (Jury), Guelfi, N. (Personne externe) (Copromoteur), Bouvry, P. (Personne externe) (Jury), VAN DER LINDEN, F. (Personne externe) (Jury), Jézéquel, J. (Personne externe) (Jury) & Schobbens, P. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier