Faculte d'informatique

  • 5000

    Belgique

Résultat de recherche

Filtrer
Chapitre (revu par des pairs)
2019

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)

2018

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study

Darquennes, D., Jacquet, J-M. & Linden, I., 2018, Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Di Marzo Serugendo, G. & Loreti, M. (eds.). Springer, Vol 10852. p. 81 - 109 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10852 LNCS).

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

Accès ouvert
2017

Formation à la maitrise des TIC pour les enseignants: un contenu inspiré de leurs pratiques

Henry, J., juin 2017, L'informatique et le numérique dans la classe: qui, quoi, comment?. Henry, J., Nguyen, A. & Vandeput, É. (eds.). Namur: Presses Universitaires de Namur (PUN)

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

Accès ouvert
File
15 Téléchargements (Pure)

La programmation par passage de messages pour aider à développer la pensée informatique

Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

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

L’Olympiade belge d’Informatique

Gilson, F., juin 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Henry, J., Nguyen, A. & Vandeput, É. (eds.). Presses universitaires de Namur

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

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10227 LNCS).

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

Accès ouvert
File
20 Téléchargements (Pure)
2016

Travailler de l'intérieur du système sur les dispositifs de devenir-imperceptible

Grandjean, N., 2016, Petits entretiens de la vie privée: Expérience quotidienne sur le web. Namur: Presses universitaires de Namur, p. 75-80 6 p.

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

Accès ouvert
2015

Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study

Gilson, F. & Englebert, V., 2015, Model-Driven Engineering and Software Development: MODELSWARD 2015 (Revised Selected Papers). Desfray, P., Filipe, J., Hammoudi, S. & Ferreira Pires, L. (eds.). Springer, Vol 580. p. 213-229 (Communications in Computer and Information Science).

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

Participation and open innovation for sustainable software engineering

Titre traduit de la contribution: Participation et innovation ouverte pour le développement de logiciels durablesMahaux, M. & Castiaux, A., 2015, Green in Software Engineering. Calero & Piattini (eds.). Springer International Publishing Switzerland 2014, p. 301-323 23 p.

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

6 Téléchargements (Pure)

The iTEC technical artefacts, architecture and educational cloud

Van Assche, F., Anido-Rifón, L., Colin, J. N., Griffiths, D. & Simon, B., 1 janv. 2015, Re-engineering the Uptake of ICT in Schools. Van Assche, F., Griffiths, D., Mc Nicol, S., Anido-Rifon, L. & Lewin, C. (eds.). Springer International Publishing Switzerland 2014, p. 59-78 20 p. Chapter 4

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

Transformation-Wise Design of Software Architectures

Gilson, F. & Englebert, V., 2015, Communications in Computer and Information Science: MODELSWARD 2014 (Revised Selected Papers). Hammoudi, S., Ferreira Pires, L., Filipe, J. & das Neves, R. C. (eds.). Springer Verlag, Vol 506. p. 49-65 1 p. 4. (Communications in Computer and Information Science).

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

Valid interpretation of feature relevance for linear data mappings

Frenay, B., Hofmann, D., Schulz, A., Biehl, M. & Hammer, B., 13 janv. 2015, IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIDM 2014: 2014 IEEE Symposium on Computational Intelligence and Data Mining, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 149-156 8 p. 7008661

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

2014

Behavioural Model Based Testing of Software Product Lines: Research Abstract

Devroey, X., 16 sept. 2014, Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

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

Accès ouvert
File
65 Téléchargements (Pure)

Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework

Linden, I., Derbali, M., Schwanen, G., Jacquet, J. M., Ramdoyal, R. & Ponsard, C., 2014, Decision Support Systems III - Impact of Decision Support Systems for Global Environments. Dargam, F., Hernández, J. E., Zaraté, P., Liu, S., Ribeiro, R., Delibašić, B. & Papathanasiou, J. (eds.). Springer Verlag, Vol 184 LNBIP. p. 67-78 12 p. (Lecture Notes in Business Information Processing; Vol 184).

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

2013

Introduction

Grandjean, N., 2013, Corps et technologies: Penser l'hybridité. Bruxelles: Peter lang, p. 9-15

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

Accès ouvert
2012

Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform

Linden, I., Jacquet, J-M., Ospina Agudelo, G. A. & Staicu, M-O., 2012, Decision Support Systems - Collaborative Models and Approaches in Real Environments. Springer, Vol 121. p. 121-133 (Lecture Notes in Business Information Processing; Vol 121).

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

2010

De ce qui compte chez Judith Butler et Cindy Sherman: performativités et effritements

Grandjean, N., 2010, Figures de femmes dans l'art et les médias. Jucquois-Delpierre, M. (Ed.). Bruxelles: Peter Lang ed.

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

2007

Towards a theory of refinement in timed coordination languages

Jacquet, J-M. & Linden, I., 2007, Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. Murphy, A. & Vitek, J. (eds.). Springer, p. 113 131 p. (Lecture Notes in Computer Science; Vol 4467).

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

2005

On Recursive Multiscale Trust-Region Algorithms for Unconstrained Minimization

Gratton, S., Sartenaer, A. & Toint, P., 2005, Oberwolfach Reports: Optimization and Applications. Jarre, F., Lemaréchal, C. & Zowe, J. (eds.).

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

Accès ouvert
File
13 Téléchargements (Pure)
2004

On the Expressiveness of Absolute-Time Coordination Languages

Linden, I. & Jacquet, J-M., 2004, Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings. De, R., Gianluigi, N. & Greg, F. (eds.). Springer, Vol 2949. p. 232-247 16 p. (Lecture Notes in Computer Science; Vol 2949).

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