User menu

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

Search

Displaying 25 results.
    • Speech
    Reasoning about confidentiality at requirements engineering time
    De Landtsheer, Renaud[UCL] van Lamsweerde, Axel[UCL] (2005) 13th ACM SIGSOFT international symposium on Foundations of software engineering — Lisbon, Portugal
    • 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
    • Speech
    The kernel of a generic software development environment
    van Lamsweerde, Axel[FUNDP] Buyse, M.[FUNDP] Delcourt, B[FUNDP] Delor, E.[FUNDP] Ervier, M.[FUNDP] Schayes, M C [FUNDP] (1987) the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments —
    • Speech
    Constructing correct and efficient concurrent programs
    Sintzoff, Michel[UCL] van Lamsweerde, Axel[UCL] (1975) international conference on Reliable software —
    • Speech
    From system goals to intruder anti-goals: attack generation and resolution for security requirements engineering
    van Lamsweerde, Axel[UCL] Brohez, Simon[UCL] De Landtsheer, Renaud[UCL] Janssens, David[UCL] (2003) Workshop on Requirements for High Assurance Systems (RHAS’03) — Monterey, California
    • Speech
    Deriving operational software specifications from system goals
    Letier, Emmanuel[UCL] van Lamsweerde, Axel[UCL] (2002) SIGSOFT 2002/FSE 10. Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10) — Charleston, SC, USA
    • Speech
    Divergent Views in Goal-Driven Requirements Engineering
    van Lamsweerde, Axel[UCL] (1996) ISAW '96 Joint proceedings of the second international software architecture workshop — San Francisco,USA
    • Speech
    Building multi-view system models for requirements engineering
    van Lamsweerde, Axel[UCL] (2009) 17th IEEE International Requirements Engineering Conference. RE 2009 — Atlanta, GA, USA
    • Speech
    Goal-Oriented Requirements Engineering: A Guided Tour
    van Lamsweerde, Axel[UCL] (2001) Proceedings of RE'01 - 5th IEEE International Symposium on Requirements Engineering — Toronto
    • Speech
    Adapting Requirements Models to Varying Environments
    Alrajeh, Dalal Cailliau, Antoine[UCL] van Lamsweerde, Axel[UCL] (2020) International Conference on Software Engineering — Seoul, South Korea
    • 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
    Goal models as architectural knowledge
    van Lamsweerde, Axel[UCL] (2008) 30th International Conference on Software Engineering — Leipzig, Germany
    • Speech
    Requirements engineering: from craft to discipline
    van Lamsweerde, Axel[UCL] (2008) 16 th ACM SIGSOFT Symposium on Foundations of Software Engineering — Atlanta, USA
    • Speech
    Model engineering for model-driven engineering
    van Lamsweerde, Axel[UCL] (2010) The ACM SIGCHI Symposium on Engineering Interactive Computing Systems — Berlin, Germany
    • 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
    • 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
    A Reflective Approach to Process Model Customization, Enactment and Evolution
    Jamart, Philippe[UCL] van Lamsweerde, Axel[UCL] (1994) Third International Conference on the Software Process — Reston, USA
    • Speech
    Reconciling system requirements and runtime behavior
    Feather, Martin Fickas, Stephen van Lamsweerde, Axel[UCL] Ponsard, Christophe[UCL] (1998) Ninth International Workshop on Software Specification and Design — Ise-Shima
    • Speech
    Deriving tabular event-based specifications from goal-oriented requirements models
    De Landtshee, Renaud Letier, Emmanuel[UCL] van Lamsweerde, Axel[UCL] (2003) Proceedings of the 11th IEEE International Requirements Engineering Conference (RE’2003) — Monterey Bay
    • Speech
    Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
    van Lamsweerde, Axel[UCL] Darimont, Robert[UCL] Massonet, Philippe[UCL] (1995) The Second IEEE International Symposium on Requirements Engineering — York, England
    • Speech
    Formal refinement patterns for goal-driven requirements elaboration
    Darimont, Robert[UCL] van Lamsweerde, Axel[UCL] (1996) The 4th ACM SIGSOFT symposium on Foundations of software engineering — San Francisco, USA
    • Speech
    Analogical Reuse of Requirements Frameworks
    Massonet, Philippe van Lamsweerde, Axel[UCL] (1997) Proceedings of the 3rd IEEE International Symposium on Requirements Engineering — Annapolis,U.S.A.
    • 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
    • Speech
    Requirements engineering in the year 00: a research perspective
    van Lamsweerde, Axel[UCL] (2000) ICSE'2000 - 22nd International Conference on Software Engineering — Limerick, Ireland
    • Speech
    Integrating obstacles in goal-driven requirements engineering
    van Lamsweerde, Axel[UCL] Letier, Emmanuel[UCL] (1998) the 1998 International Conference on Software Engineering — Kyoto