Research Center on Information Systems Engineering

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

Résultats de recherche

  • 2014

    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

  • 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
    128 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
    373 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

  • 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
    187 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)

  • 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
    210 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

  • 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

  • Reverse engineering web sales configurators

    Abbasi, E. K. & Heymans, P., 1 déc. 2013, IEEE International Conference on Software Maintenance, ICSM. p. 586-589 4 p. 6676962

    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

  • Support for reverse engineering and maintaining feature models

    Acher, M., Baudry, B., Heymans, P., Cleve, A. & Hainaut, J. L., 22 févr. 2013, ACM International Conference Proceeding Series. ACM Press, 20 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

  • The anatomy of a sales configurator: An empirical study of 111 cases

    Abbasi, E. K., Hubaux, A., Acher, M., Boucher, Q. & Heymans, P., 12 juil. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7908 LNCS. p. 162-177 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7908 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

  • Toward benchmarks to assess advancement in legal requirements modeling

    Jureta, I., Breaux, T., Siena, A. & Gordon, D., 1 déc. 2013, 2013 6th International Workshop on Requirements Engineering and Law, RELAW 2013 - Proceedings. p. 25-33 9 p. 6671343

    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

  • Towards an enterprise architecture based strategic alignment model an evaluation of SAM based on ISO 15704

    Goepp, V. & Petit, M., 21 nov. 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol 3. p. 370-375 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

  • Towards automated testing and fixing of re-engineered Feature Models

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 30 oct. 2013, Proceedings - International Conference on Software Engineering. IEEE, Vol 2. p. 1245-1248 4 p. 6606689

    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

  • Towards enforcement of purpose for privacy policy in distributed healthcare

    Rath, T. M. A. & Colin, J-N., 15 avr. 2013, 2013 IEEE 10th Consumer Communications and Networking Conference, CCNC 2013. p. 881-886 6 p. 6488578

    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
    115 Téléchargements (Pure)

  • Towards highly adaptive data-intensive systems: A research agenda

    Mori, M. & Cleve, A., 12 juil. 2013, Lecture Notes in Business Information Processing: CAiSE 2013 International Workshops. Springer Verlag, Vol 148 LNBIP. p. 386-401 16 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

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

  • Understanding schema evolution as a basis for database reengineering

    Gobert, M., Maes, J., Cleve, A. & Weber, J., 1 déc. 2013, IEEE International Conference on Software Maintenance, ICSM. IEEE Computer society, p. 472-475 4 p. 6676935

    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

  • University meets industry: Calling in real stakeholders

    Penzenstadler, B., Mahaux, M. & Heymans, P., 8 oct. 2013, Software Engineering Education Conference, Proceedings. p. 1-10 10 p. 6595231

    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 goals and customizable services to improve adaptability of process-based service compositions

    Gillain, J., Faulkner, S., Jureta, I. J. & Snoeck, M., 19 sept. 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577716

    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

  • Visual notation design 2.0: Towards user comprehensible requirements engineering notations

    Caire, P., Genon, N., Heymans, P. & Moody, D. L., 31 déc. 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711

    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

  • 2012

    A Feature-based Approach to System Deployment and Adaptation (To Appear)

    Acher, M., Moisan, S. & Rigault, J-P., 2012, (Non publié) Proceedings of the Proceedings of the 2012 international workshop on Modeling in software engineering at ICSE 2012 (MiSE'12),.

    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 collaboratively editing domain specific models

    Koshima, A., 2012, poster presentation at PReCISE Research Day, April 24, 2012, Namur, Belgium.

    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