Faculte d'informatique

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

Résultats de recherche

  • A Model-Driven Engineering Approach for the Well-Being of Ageing People

    Koshima, A., Englebert, V., Amrani, M., Debieche, A. & Wakjira, A., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Springer, p. 21-29

    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)

  • A methodological framework to enable the generation of code from DSML in SPL

    Titre traduit de la contribution: Un framework méthodologique permettant la génération du code source à partir des DSML dans une Ligne de ProduitBelarbi, M., 30 mars 2018, Proceedings of the 22nd International Systems and Software Product Line Conference. suède, gothenburg, Vol 2. p. 64-71 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

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

  • A Methodological Framework for SPL Engineering from DSML

    Englebert, V. & Belarbi, M., 2023, Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers. Pires, L. F., Hammoudi, S. & Seidewitz, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 179-202 24 p. (Communications in Computer and Information Science; Vol 1708 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

  • A meta-model for product configuration ontologies

    Abbasi, E. K., Leclercq, T. & Heymans, P., 12 sept. 2022, 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings. Felfernig, A., Fuentes, L., Cleland-Huang, J., Assuncao, W. K. G., Assuncao, W. K. G., Quinton, C., Guo, J., Schmid, K., Huchard, M., Ayala, I., Rojas, J. M., Le, V-M. & Horcas, J. M. (eds.). ACM Press, p. 166-173 8 p. (26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings; Vol B).

    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 Metamodel-based Classification of Variability Modeling Approaches

    Paul, I., Jacques, K., Perrouin, G. & Jean-Marc, J., 2011, VARiability for You (VARY) Workshop, co-located with MoDELS 2011. Haugen, O., Czarnecki, K., Jézéquel, J. M., Moller-Pedersen, B. & Wasowski, A. (eds.).

    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

  • Ambient intelligence technology: critical perspective ethical and societal issues

    Goujon, P., 2008, living and working and learning beyong technology, . of, U., Mantua, P., 24-26, I., conference, S., Edited, P., Ward, T., Maria, B., Calzarossa, C., De, I., Simon, L., September, R. & 334-355., P. (eds.). university of Pavia, Mantua, Italy, 24-26 spetembre 2008, conference proceedings , September 2008, pp. 334-355.: Edited by: Terrel Ward Bynum, Maria Carla Calzarossa, Ivo De Lotto and Simon Rogerson

    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 Maintenance-based trust for Open MultiAgent Systems

    Khosravifar, B., Gomrokshi, M., Bentahar, J. & Thiran, P., 2009, (Non publié) Proc. of the 8th International Conference on Autonomous Agents and Multiagent Systems: AAMAS. Sichman, J. & Decker, K. (eds.). ifaamas

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

  • A logic for legal hierarchies

    Schobbens, P. Y., 1 août 1993, Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. ACM Press, Vol Part F127196. p. 272-281 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

  • Allocating goals to agent roles during MAS requirements engineering

    Jureta, I., Faulkner, S. & Schobbens, P. Y., 1 déc. 2007, Agent-Oriented Software Engineering VII - 7th International Workshop, AOSE 2006, Revised and Invited Papers. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4405 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

  • All-At-Once-Synthesis of controllers from scenario-based product line specifications

    Cordy, M., Davril, J-M., Greenyer, J., Gressi, E. & Heymans, P., 20 juil. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol 20-24-July-2015. p. 26-35 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

  • A Little-Known Chapter in the History of Computing in Belgium: The Machine Mathématique IRSIA-FNRS

    Titre traduit de la contribution: Un chapitre mal connu de l'histoire de l'informatique en Belgique: la Machine mathématique IRSIA-FNRSd'Udekem-Gevers, M., 2014, IFIP Advances in Information and Communication Technology: 11th IFIP TC9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 -August 1, 2014Proceedings. Heidelberg NY Dordrecht London: Springer, Vol 431. p. 146-161 16 p. (IFIP Advances in Information and Communication Technology; Vol 431).

    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

  • Alignment of Misuse Cases with Security Risk Management

    Matulevicius, R., Mayer, N. & Heymans, P., 2008, (Non publié) Proceedings of the 4th Symposium on Requirements Engineering for Information Security (SREIS'08), collocated with the International Conference of Availability, Reliability and Security (ARES'08). Anton, A. & Massacci, F. (eds.). Barcelone, Spain: IEEE Computer society, p. 1397-1404 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

  • ALBERT: an Agent-oriented Language for Building and Eliciting Requirements for real-Time systems

    Dubois, E., Du Bois, P. & Petit, M., 1994, Proc. of the 27th Hawaii International Conference on System Sciences - HICSS-27.

    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 large scope transformational approach for distributed architecture design

    Gilson, F., Englebert, V. & Matulevicius, R., 2008, Proceedings of the 2nd European conference on Software Architecture (ECSA'08) - Paphos (Cyprus). Springer LNCS 3047 , p. 330-333 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

  • Ajout d'un dispositif de classes inversées dans un enseignement combinant cours magistraux et travaux pratiques: gage de coopération et implications?

    Leclercq, T. & Boraita, F., 2019, Questions de pédagogies dans l’enseignement supérieur.

    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 Green-by-design methodology to increase sustainability of smart city systems

    Voisin, A., mai 2019, Proceedings - RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877075. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

    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

  • Agile Cultural Challenges in Europe and Asia: Insights from Practitioners

    Ayed, H., Vanderose, B. & Habra, N., 2017, (Accepté/sous presse) Agile Cultural Challenges in Europe and Asia: Insights from Practitioners. IEEE Computer society, 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

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

  • Agile cultural challenges in Europe and Asia: Insights from practitioners

    Ayed, H., Vanderose, B. & Habra, N., 30 juin 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017. Institute of Electrical and Electronics Engineers Inc., p. 153-162 10 p. 7965439. (2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)).

    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

  • Aggregation Through Adaptive Random Walks in a Minimalist Robot Swarm

    Feola, L., SION, A., Trianni, V., Reina, A. & Tuci, E., 15 juil. 2023, GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference. p. 21-29 9 p. (GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference).

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

  • Aggregated Process for Evaluating Requirements Engineering Tools

    Matulevicius, R., 2009, Proceedings of the 15th Conference on Information and Software Technologies (IT 2009).

    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

  • Agents as a Key Concept for Information Systems Requirements Engineering

    Petit, M., Heymans, P. & Schobbens, P-Y., 1999, Agent-Oriented Information Systems'99: AOIS99.

    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

  • Agents and Roles: Refinement in Alternating-Time Temporal Logic

    Ryan, M. & Schobbens, P-Y., 2002, Proceedings of Agents: Theories, Achitectures and Languages (ATAL). Meyer, J. J. (Ed.). Vol 2333. p. 100-114 15 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

  • Agent-oriented Requirements Engineering: A Case Study using the Albert Language

    Dubois, E., Du Bois, P., Dubru, F. W. & Petit, M., 1994, Proc. of the Fourth International Working Conference on Dynamic Modelling and Information System (DYNMOD-IV). Verbraeck, A., Sol, A. G. & Bots, P. W. G. (eds.). Delft: Delft University Press, p. 205-238 34 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

  • 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

  • A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks

    Khosravifar, B., Alishahi, M., Bentahar, J. & Thiran, P., 2011, IEEE Proceedings of the conference on Services Computing (SCC): Research Track. IEEE 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

  • A Framework to Enable Enriched Training Experience

    Schumacher, L., Miche, G., Pitner, T. & Racek, J., 2006, Proceedings of Internative Computer-aided Learning conference (ICL 2006).

    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 Proposal for Intelligent Management of Unexpected Exceptions in Workflow

    Derbali, M. A., 2011, OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems : OTMA 2011. p. 3-10 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

  • A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

    Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24

    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 understanding collaborative creativity in requirements engineering: Empirical validation

    Mahaux, M., Nguyen, L., Mich, L. & Mavin, A., 3 sept. 2014, 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 48-55 8 p. 6890116

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

  • A Framework for Modeling B2B Applications

    Maamar, Z., Thiran, P., Narendra, NCN. & Sattanathan, S., 2008, IEEE 22nd International Conference on Advanced Information Networking and Applications . IEEE Computer Science Press, p. 12-19 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

  • A framework for collaboratively editing domain specific models

    Koshima, A., 2011, poster presentation at the 25th European Conference on Object-Oriented Programming, 25-29 July 2011, Lancaster, United Kingdom .

    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., 2014, poster presentation at the 5th DSM-TP summer school, 25-29 August 2014, Antwerp, 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

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

    Koshima, A., Englebert, V. & Thiran, P., 2011, Doctoral Symposium of the 25th European Conference on Object-Oriented Programming.

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

  • A framework for collaboratively editing domain specific models

    Koshima, A., 2014, poster presentation at the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Hyatt Regency, Vancouver, Canada. July 1 - July 3, 2014.

    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

  • A framework for bottom-up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer, p. 54-72 (Lecture Notes in Computer Science; Vol 1490).

    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 bottom up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. Vol 1490. p. 54-72 19 p. (Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98).

    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 Formal Semantics for Multi-level Staged Configuration

    Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Duisburg-Essen: Institute for Computer Science and Business Information Systems , p. 51-60 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

    File
    219 Téléchargements (Pure)

  • A Formal Semantics for Feature Cardinalities in Feature Diagrams

    Michel, R., Classen, A., Hubaux, A. & Boucher, Q., 2011, Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29. ACM Press, p. 83-90 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

    File
    194 Téléchargements (Pure)

  • A Formal Semantics for Decision-oriented Variability Modeling with DOPLER

    DHUNGANA, D., Heymans, P. & RABISER, R., 2010, (Non publié) Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 29-38 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

  • A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems

    Dubois, E., Du Bois, P. & Zeippen, J-M., 1995, Proc. of the Real-Time Systems Conference (RTS '95). PAris (France)

    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 Formal Framework for Managing Evolution in Manufacturing Systems

    Petit, M. & Dubois, E., 1996, Proc. of the Agent-Oriented Systems in Manufacturing Workshop (AOSiM'96): Daimler-Benz AG Berlin and Technical University of Berlin, September 16-17, 1996. Albayrak, S. & Bussmann, S. (eds.). Berlin: Daimler-Benz AG and Technical University of Berlin

    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 flexible requirements analysis approach for software product lines

    Guelfi, N. & Perrouin, G., 2007, Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality. Springer, Vol 4542. p. 78-92 15 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

  • A Federated Authorization Service for Bridging Learning Object Distribution Models

    Colin, J-N., Le, T. D. & Massart, D., 2009, (Non publié) Proceedings of the International Conference on Web-based Learning (ICWL) 2009. p. 714-715 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

  • A federated authorization service for bridging learning object distribution models

    Colin, J. N., Le, T. D. & Massart, D., 28 sept. 2009, Advances in Web Based Learning - ICWL 2009 - 8th International Conference, Proceedings. p. 116-125 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5686 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

  • 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 domain specific language for stepwise design of software architectures

    Gilson, F. & Englebert, V., 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 67-78 12 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

  • A Discussion of the Impact of Judgmental Heuristics on Elicitation during Requirements Engineering

    Burnay, C., Faulkner, S. & Jureta, I., mai 2019, Proceedings RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 7 p. 8876972. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

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