Faculte d'informatique

  • 5000

    Belgique

Résultat de recherche 1969 2020

Filtre
Poster
2020

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

2019

Scan: A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 déc. 2019. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

2018

A method to establish sign frequency based on patterns of articulation

Paligot, A., Gobert, M. & Meurant, L., 30 juil. 2018.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

3 Downloads (Pure)

Intelligence artificielle : Comment l’enseigner pour modifier la représentation qu’en ont les jeunes

Smal, A., Henry, J., Olivier, B. & Frenay, B., 7 févr. 2018.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

New Generation of Flexible Public Services (2016-2020)

Chantillon, M., Simonofski, A., Tombal, T. & Kruk, R., 2018.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

10 Downloads (Pure)

School-IT: une « mallette numérique » pour éduquer à l’informatique

Smal, A. & Henry, J., 7 févr. 2018. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File

Software Testing Research

Perrouin, G., 2018.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
2017

EFFaTA-MeM Evocative Framework for Text Analysis - Mediality Models

Bosse, A., Wallemacq, A., Dumas, B., Deville, G., Linden, I. & Clarinval, A., 2017, p. 12. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

9 Downloads (Pure)

Novice Programmers: What is the Match between Needs, Concepts and Learning Tools?

Henry, J. & Dumas, B., nov. 2017, (Non publié). 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

File

When students use podcasts to share their own expertise in building proofs

De Vleeschouwer, M. & Remiche, M-A., févr. 2017. 2 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

2016

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators

Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P., 2016.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Configurators: many possibilities for Software Defined Networks

Leclercq, T., Davril, J-M., Schumacher, L., Heymans, P., Tilmans, O., Lebrun, D. & Bonaventure, O., 2016.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Enseigner la programmation à travers un EDI enrichi

Henry, J. & Frenay, B., janv. 2016, (Non publié).

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

2015
47 Downloads (Pure)

Poster: Behavioral Model-Based Testing of Variability Intensive Systems

Devroey, X., 26 juin 2015.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
2012
8 Downloads (Pure)

A metamodel based approach for customizing and assessing agile methods

Ayed, H., 24 avr. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

File

A metamodel based approach for customizing and assessing agile methods

Ayed, H., 30 avr. 2012. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
21 Downloads (Pure)

Behavioural Model-Driven Validation of Software Product Lines

Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B., 24 avr. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
40 Downloads (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2012. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
2009
33 Downloads (Pure)

Analysis of Feature Configuration Workflows

Classen, A., Hubaux, A. & Heymans, P., 2009, p. 381-382. 2 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

File
Requirements engineering