User menu

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

All Publications

Displaying 1 - 25 of 77 results.

Pages

    • 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)
    • Speech
    Goal Oriented Design of Domain Control Panels
    Ponsard, Christophe van Lamsweerde, Axel[UCL] Vanderdonckt, Jean[UCL] Massonet, Philippe Balych, Nadiya (2005) 12th International Workshop on Design, Specification and Verification of Interactive Systems — Newcastle upon Tyne (UK)
    • Journal article
    Automating the Production of Application Software Part 3
    van Lamsweerde, Axel[UCL] (1983) Technology and Science of Informatics — Vol. 2, no.2, p. 81-93 (1983)
    • Journal article
    Early verification and validation of mission critical systems
    Ponsard, Christophe Massonet, Philippe Rifaut, André Molderez, Jean-François van Lamsweerde, Axel[UCL] Tran Van, Hung[UCL] (2007) Formal Methods in System Design : an international journal — Vol. 30, no. 3, p. 233-247 (2007)
    • Journal article
    Assessing Requirements-Related Risks Through Probabilistic Goals and Obstacles
    Cailliau, Antoine[UCL] van Lamsweerde, Axel[UCL] (2013) Requirements Engineering — p. 1-18 (2013)
    • 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
    • Journal article
    Deriving tabular event-based specifications from goal-oriented requirements models
    De Landtsheer, Renaud[UCL] Letier, Emmanuel[UCL] van Lamsweerde, Axel[UCL] (2004) Requirements Engineering — Vol. 9, no. 2, p. 104-120 (2004)
    • Book
    Proceedings of the 16th International Conference on Software Engineering, Sorrento
    Osterweil, Leon Fadini, Bruno van Lamsweerde, Axel[UCL] (1994)
    • BookChapter
    From Worlds to Machines
    van Lamsweerde, Axel[UCL] (2009) A Tribute to Michael Jackson —
    • Journal article
    Handling obstacles in goal-oriented requirements engineering
    van Lamsweerde, Axel[UCL] Letier, Emmanuel[UCL] (2000) IEEE Transactions on Software Engineering — Vol. 26, no. 10, p. 978-1005 (2000)
    • BookChapter
    Formal Specification: a Roadmap
    van Lamsweerde, Axel[UCL] (2000) The Future of Software Engineering — [ISBN : 1-58113-253-0]
    • Journal article
    The Humble Humorous Researcher : A Tribute to Michel Sintzoff
    van Lamsweerde, Axel[UCL] (2011) Formal Aspects of Computing : applicable formal methods — Vol. 23, no. 3, p. 239–242 (2011)
    • Speech
    GRAIL/KAOS: an environment for goal-driven requirements engineering
    Darimont, R. Delor, E. Massonet, P. van Lamsweerde, Axel[UCL] (1997) Proceedings of International Conference on Software Engineering. ICSE 97 — Boston, MA, USA
    • Book
    Current Issues in Expert Systems
    van Lamsweerde, Axel[UCL] Dufour, Pierre (1987)
    • BookChapter
    Reasoning About Alternative Requirements Options
    van Lamsweerde, Axel[UCL] (2009) Conceptual Modeling: Foundations and Applications — [ISBN : 978-3-642-02462-7]
    • 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)
    • BookChapter
    From system goals to software architecture
    van Lamsweerde, Axel[UCL] (2003) Lecture Notes in Computer Sciences —
    • Speech
    Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications
    van Lamsweerde, Axel[UCL] (2003) IEEE 25th International Conference on Software Engineering — Portland, OR, USA
    • Speech
    Deadlock prevention in real-time systems
    van Lamsweerde, Axel[UCL] (1974) International Computing Symposium — Davos, Switzerland
    • 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
    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
    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
    Requirements engineering in the year 00: a research perspective
    van Lamsweerde, Axel[UCL] (2000) ICSE'2000 - 22nd International Conference on Software Engineering — Limerick, Ireland
    • Journal article
    Requirements & Specification Exemplars
    Feather, Martin S. Fickas, Stephen Finkelstein, Anthony van Lamsweerde, Axel[UCL] (1997) Automated Software Engineering : the international journal of automated reasoning and artificial intelligence in software engineering — Vol. 4, no.4, p. 419-438 (1997)
    • Journal article
    Managing conflicts in goal-driven requirements engineering
    van Lamsweerde, Axel[UCL] Darimont, R. Letier, Emmanuel[UCL] (1998) IEEE Transactions on Software Engineering — Vol. 24, no. 11, p. 908-926 (1998)

Pages