User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 8 results.
    • Speech
    Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] van Lamsweerde, Axel[UCL] (2006) Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering — Portland, Oregon
    • Journal article
    The QSM algorithm and its application to software behavior model induction
    Dupont, Pierre[UCL] Lambeau, Bernard[UCL] Damas, Christophe[UCL] van Lamsweerde, Axel[UCL] (2008) Applied Artificial Intelligence : an international journal — Vol. 22, no. 1-2, p. 77-115 (2008)
    • Journal article
    Generating annotated behavior models from end-user scenarios
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] Dupont, Pierre[UCL] van Lamsweerde, Axel[UCL] (2005) IEEE Transactions on Software Engineering — Vol. 31, no. 12, p. 1056-1073 (2005)
    • Speech
    Analyzing critical process models through behavior model synthesis
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] Roucoux, François[UCL] van Lamsweerde, Axel[UCL] (2009) 31st International Conference on Software Engineering (ICSE 2009) — (Canada) Vancouver, BC
    • Speech
    Process execution and enactment in medical environments
    Lambeau, Bernard[UCL] Damas, Christophe[UCL] van Lamsweerde, Axel[UCL] (2017) 4th International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2014 and 6th SEHC 2014 — Washington, United States
    • Journal article
    Analyzing critical decision-based processes
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] van Lamsweerde, Axel[UCL] (2014) IEEE Transactions on Software Engineering — Vol. 99, p. 1-28 (2014)
    • Speech
    Modeling car crash management with KAOS
    Cailliau, Antoine[UCL] Damas, Christophe[UCL] Lambeau, Bernard[UCL] van Lamsweerde, Axel[UCL] (2013) International Comparing *Requirements* Modeling Approaches Workshop (CMA@RE) — Rio de Janeiro, Brasil
    • Speech
    Transformation operators for easier engineering of medical process models
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] van Lamsweerde, Axel[UCL] (2013) 5th ICSE Workshop on Software Engineering in Health Care — San Francisco, California