Namur Digital Institute

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2014

    Dahlia - A Visual Analyzer of Database Schema Evolution

    Meurice, L. & Cleve, A., 2014, Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week. IEEE Computer Society Press, p. 464-468

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

  • DiCoMEF: A Distributed Collaborative Model Editing Framework

    Koshima, A. & Englebert, V., juil. 2014, (Accepté/sous presse) Tool Demo at SEKE2014 (International Conference on Software Engineering and Knowledge Engineering). Hyatt Regency, Vancouver, Canada

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

    File
    126 Téléchargements (Pure)

  • Establishing referential integrity in legacy information systems - Reality bites!

    Meurice, L., Ruiz, F. J. B., Weber, J. H. & Cleve, A., 4 déc. 2014, Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 461-465 5 p. 6976118

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

  • Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J. & Schobbens, P-Y., 4 avr. 2014, Open problems in real-time computing. 2 p.

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

    File
    77 Téléchargements (Pure)

  • La Machine analytique de Charles Babbage, jalon fondamental de l’histoire des automates à calculer

    d'Udekem-Gevers, M., 2014, (En préparation) Actes du colloque « L’automate. Enjeux culturels, historiques et techniques septembre 2012 Université de Neufchâtel (Suisse).

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

  • Le juge et le contrat: Le contrat et les acteurs de la faillite

    George, F., 2014, Le contrat et les acteurs de la faillite . La Charte, p. 575-635

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

  • Managing technical debt in database schemas of critical software

    Weber, J. H., Cleve, A., Meurice, L. & Ruiz, F. J. B., 2014, Proceedings - 2014 6th IEEE International Workshop on Managing Technical Debt, MTD 2014. Institute of Electrical and Electronics Engineers Inc., p. 43-46 4 p. 6974889

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

  • Mining SQL Execution Traces for Data Manipulation Behavior Recovery

    Mori, M., Noughi, N. & Cleve, A., 2014, Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014): CAiSE forum track. CEUR-WS.org, Vol 1164. p. 41-48 8 p.

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

  • Nòmos 3: Legal compliance of roles and requirements

    Ingolfo, S., Jureta, I., Siena, A., Perini, A. & Susi, A., 1 janv. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8824. p. 275-288 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8824).

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

  • On the definition of Self-Service Systems

    Burnay, C., Gillain, J., Jureta, I. & Faulkner, S., 27 oct. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Atlanta, USA: Springer Verlag, Vol 8823. p. 107-116 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8823).

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

  • People-things entanglement: An archeological perspective on the relationships between people and things

    Masset, J. & Decrop, A., 2014, Actes des 13èmes Journées normandes des recherches sur la consommation: Société et consommation. Rouen, p. 1-17

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

  • Pourquoi les entreprises devraient-elles s’intéresser à l’attitude des clients vis-à-vis de leur programme de fidélité ?

    Bruneau, V. & Zidda, P., 2014, Actes du 30e Congrès International de l'Association Française du Marketing (AFM), Montpellier, France, Mai, 14-16.

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

  • Requirements engineering patterns for the modeling of Online Social Networks features

    Bouraga, S., Jureta, I. & Faulkner, S., 1 janv. 2014, 2014 IEEE 4th International Workshop on Requirements Patterns, RePa 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 33-38 6 p. 6894841

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

  • Reverse Engineering Web Configurators

    Abbasi, E. K., Acher, M., Heymans, P. & Cleve, A., 2014, Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week.

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

  • Schedulability analysis support for automotive systems: From requirement to implementation

    Kang, E-Y. & Schobbens, P. Y., 24 mars 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

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

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

  • State Machine Flattening: Mapping Study and Assessment

    Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 mars 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

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

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

  • Towards Statistical Prioritization for Software Product Lines Testing

    Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 janv. 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14. p. 10:1-10:7 8 p. 10

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

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

  • 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érence › Article dans les actes d'une conférence/un colloque

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

  • Understanding the Database Manipulation Behavior of Programs

    Noughi, N., Mori, M., Meurice, L. & Cleve, A., 2014, Proceedings of the 22nd International Conference on Program Comprehension (ICPC 2014): Early Research Achievement Track. IEEE Computer society

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

  • Using fixed-price auctions for selection in communities of web services

    Lim, E. & Maamar, Z., 1 janv. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8697. p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8697).

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

  • Why do customer attitudes towards loyalty programs matter a lot?

    Bruneau, V. & Zidda, P., 2014, Proceedings of the 43rd European Marketing Academy (EMAC) Conference, Valencia, Spain, June 3-6.

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

  • 2013

    Access and usage control requirements for patient controlled record type of healthcare information system

    Rath, T. M. A. & Colin, J-N., 27 mai 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 331-336 6 p.

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

    File
    188 Téléchargements (Pure)

  • A framework for collaboratively editing domain specific models

    Koshima, A., 2013, poster presentation at the 4th DSM-TP summer school, 2-6 September 2013, Santiago de Compostela, Spain .

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

  • A framework for the rigorous design of highly adaptive timed systems

    Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 oct. 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

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

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

  • A Generic Workflow Metamodel to Support Resource-aware Decision Making

    Ramdoyal, R., Ponsard, C., Derbali, M-A., Schwanen, G., Linden, I. & Jacquet, J-M., 21 nov. 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol 3. p. 243-250 8 p.

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

  • AM-QuICk : a measurement-based framework for agile methods customisation

    Ayed, H., Habra, N. & Vanderose, B., 1 déc. 2013, Proceedings - Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, IWSM-MENSURA 2013. p. 71-80 10 p. 6693225

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

    File
    162 Téléchargements (Pure)

  • A new paradigm for applied requirements engineering research

    Mahaux, M. & Mavin, A., 31 déc. 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 353-356 4 p. 6636750

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

  • A pilot study on software quality practices in Belgian industry

    Pérez, J., Mens, T. & Kamseu, F., 13 mai 2013, Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. p. 395-398 4 p. 6498496

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

  • A purpose model and policy enforcement engine for usage control in distributed healthcare information system

    Rath, T. M. A. & Colin, J-N., 27 mai 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 174-180 7 p.

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

    File
    117 Téléchargements (Pure)

  • A relational symbolic execution algorithm for constraint-based testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 sept. 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

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

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

  • Assessing software product line testing via model-based mutation: An application to similarity testing

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 sept. 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

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

  • Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

    File
    127 Téléchargements (Pure)

  • Choosing compliance solutions through stakeholder preferences

    Ingolfo, S., Siena, A., Jureta, I., Susi, A., Perini, A. & Mylopoulos, J., 10 avr. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7830 LNCS. p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7830 LNCS).

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

  • Collaborative creativity in requirements engineering: Analysis and practical advice

    Mahaux, M., Nguyen, L., Gotel, O., Mich, L., Mavin, A. & Schmid, K., 19 sept. 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577678

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

  • Context Factors : What they are and why they matter for Requirements Problems

    Burnay, C., Jureta, I. & Faulkner, S., 26 juin 2013, Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13). Boston, USA

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

  • Creative collisions: Meet and create: And other "rE interactive" suggestions

    Mahaux, M. & Callele, D., 31 déc. 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 371-372 2 p. 6636756

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

  • Dynamic program analysis for database reverse engineering

    Cleve, A., Noughi, N. & Hainaut, J-L., 1 déc. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol 7680 LNCS. p. 297-321 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7680 LNCS).

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

  • Efficient quality assurance of variability-intensive systems

    Heymans, P., Legay, A. & Cordy, M., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

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

  • Feature-based adaptation of database schemas

    Mori, M. & Cleve, A., 9 sept. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol 7706 LNCS. p. 85-105 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7706 LNCS).

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

  • Feature model extraction from large collections of informal product descriptions

    Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 sept. 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 11 p.

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

  • Formal modeling and verification of SDN-OpenFlow

    Kang, M., Kang, E-Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 9 sept. 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

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

  • Incrementally synthesizing controllers from scenario-based product line specifications

    Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 sept. 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 11 p.

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

  • Integrated Information System for Multi-criteria Management of Orthopedic Infections

    Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 nov. 2013, Mobile and Information Technologies in Medicine and Health 2013 .

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

    File
    104 Téléchargements (Pure)

  • Model-based verification of energy-aware real-time automotive systems

    Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 oct. 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

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

  • Model-centric strategy-IT alignment: An empirical study in progress

    Giannoulis, C., Zdravkovic, J. & Petit, M., 12 juil. 2013, Lecture Notes in Business Information Processing. Vol 148 LNBIP. p. 146-155 10 p. (Lecture Notes in Business Information Processing; Vol 148 LNBIP).

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

  • Multi-objective test generation for software product lines

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 18 sept. 2013, Proceedings of the 17th International Software Product Line Conference (SPLC). ACM Press, p. 62-71 10 p.

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

  • On Density in Coordination Languages

    Jacquet, J. M., Linden, I. & Darquennes, D., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer Verlag, Vol 393 CCIS. p. 189-203 15 p. (Communications in Computer and Information Science; Vol 393 CCIS).

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

  • On the Introduction of Time in Distributed Blackboard Rules

    Jacquet, J-M., Linden, I. & Staicu, M-O., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer, Vol 393. p. 144-158 15 p. (Communications in Computer and Information Science; Vol 393).

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

  • PLEDGE: a product line editor and test generation tool

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 23 déc. 2013, 17th International Software Product Line Conference (co-located workshops). ACM Press, p. 126-129 4 p.

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

  • Re-engineering the uptake of ICT in schools

    Van Assche, F., Simon, B., Aram, M., Colin, J-N., Hoang, M. T., Griffiths, D., Popat, K., Anido-Rifón, L., Caeiro-Rodríguez, M., Santos-Gago, J., Ellis, W. & Klerkx, J., 9 sept. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8095 LNCS. p. 645-646 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8095 LNCS).

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