Faculté d'informatique

  • 5000

    Belgique

Résultat de recherche 1969 2020

Filtre
Chapitre (revu par des pairs)

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
64 Downloads (Pure)

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
Testing
Model checking
Quality assurance
Engineers

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)

Software architecture
Life cycle
Feedback

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)

8 Downloads (Pure)

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

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)

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)

19 Downloads (Pure)

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
Real time systems
Clocks
Computability and decidability
Explosions

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
Expressiveness
Multiplicity
Distributed Systems
Language
Family
13 Downloads (Pure)

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

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)

6 Downloads (Pure)

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)

Sustainable development
Software engineering
innovation
Innovation
software

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)

Business Process
Exception
Managers
Engine
Complex Event Processing

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)

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)

artifact
innovation
resources
teacher
technical innovation

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)

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)

Software architecture

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)

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)

Linear transformations
Linear regression
Linear programming
Learning algorithms
Learning systems