Research Center on Information Systems Engineering

  • 5000

    Belgique

Empreinte digitale Examinez les sujets de recherche où Research Center on Information Systems Engineering est actif. Ces libellés de rubriques sont le fruit de recherches menées par les membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.

Requirements engineering Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Industry Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Web services Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Information systems Ingénierie et Science des Matériaux
Software engineering Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1989 2022

Résultat de recherche 1974 2019

7 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

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
Black-box testing
Application programming interfaces (API)
Explosions

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Explosions

Activités 2002 2019

EIAH 2019

Julie Henry (Organisateur), Fanny Boraita (Organisateur)
4 juin 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)
7 mai 20199 mai 2019

Activité: Types de discours ou de présentationPrésentation orale

FORMATION NUMÉRIQUE DES ENSEIGNANTS : QUELS SAVOIRS POUR UNE PRATIQUE ÉCLAIRÉE DU NUMÉRIQUE EN CLASSE ?

Julie Henry (Orateur), Fanny Boraita (Orateur), Etienne Vandeput (Orateur)
25 avr. 201926 avr. 2019

Activité: Types de discours ou de présentationPrésentation orale

Prix

Best Paper Award

Loup Meurice (Bénéficiaire), Anthony Cleve (Bénéficiaire) & Csaba Nagy (Bénéficiaire), 2016

Prix: Prix ​​(y compris les médailles et récompenses)

Best Student Presentation — at the participants' workshop

Nesrine Noughi (Bénéficiaire), 23 août 2015

Prix: Mise à l'honneur nationale/internationale

Distinguished Paper Award CAiSE 2014

Corentin Burnay (Bénéficiaire), 15 juin 2014

Prix: Mise à l'honneur nationale/internationale

Presse/Médias

L’Internet des objets, une lame de fond nommée « révolution 4.0 » !

Bruno Dumas

1/06/17

1 Contribution média

Presse/Médias: Commentaire d'expert

Les objets connectés

Bruno Dumas

16/05/17

1 Contribution média

Presse/Médias: Commentaire d'expert

L'Université au coeur d'une ville et d'un territoire intelligent

Annick Castiaux

24/03/17

1 Contribution média

Presse/Médias: Activités publiques

Thèse de l'étudiant

Abstract Interpretation of Prolog programs: Optimizations of an implementation

Auteur: Englebert, V. & Roland, D., 1992

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

A case base as a learning tool for the design of human computer interfaces

Auteur: Michiels, R., 1999

Superviseur: Bodart, F. (Promoteur)

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

Accidents de la route autour du domicile : un modèle probabiliste

Auteur: Thiran, P., 1995

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