User menu

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

Search

Displaying 1 - 25 of 73 results.

Pages

    • 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)
    • Book
    Requirements Engineering: From System Goals to UML Models to Software Specifications
    van Lamsweerde, Axel[UCL] (2009)
    • BookChapter
    Engineering Requirements for System Reliability and Security
    van Lamsweerde, Axel[UCL] (2007) Software Systems Reliability and Security —
    • BookChapter
    From Worlds to Machines
    van Lamsweerde, Axel[UCL] (2009) A Tribute to Michael Jackson —
    • BookChapter
    Formal Specification: a Roadmap
    van Lamsweerde, Axel[UCL] (2000) The Future of Software Engineering — [ISBN : 1-58113-253-0]
    • 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)
    • Book
    Esec '91: 3rd European Software Engineering Conference
    van Lamsweerde, Axel[UCL] Fuggeta, Alphonso (1992)
    • 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)
    • BookChapter
    Learning Machine Learning
    van Lamsweerde, Axel[UCL] (1991) From Natural Language Processing to Logic for Expert Systems : A Logic Based Approach to Artificial Intelligence — [ISBN : 978-0-4719-2431-9]
    • Journal article
    Automating the Production of Application Software Part 1
    van Lamsweerde, Axel[UCL] (1982) Technology and Science of Informatics — Vol. 1, no. 6, p. 475-494 (1982)
    • Book
    Proceedings of the 16th International Conference on Software Engineering, Sorrento
    Osterweil, Leon Fadini, Bruno van Lamsweerde, Axel[UCL] (1994)
    • Journal article
    Automating the Production of Application Software Part 2
    van Lamsweerde, Axel[UCL] (1983) Technology and Science of Informatics — Vol. 2, no.1, p. 5-20 (1983)
    • Book
    Proceedings of the 7th international workshop on Software specification and design
    Wileden, Jack Feather, Martin S. van Lamsweerde, Axel[UCL] (1993)
    • 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)
    • Journal article
    On an Extension of Dijkstra's Semaphore Primitives
    Vantilborgh, Hendrik van Lamsweerde, Axel[UCL] (1972) Information Processing Letters — Vol. 1, no.5, p. 181-186 (1972)
    • BookChapter
    Reasoning About Alternative Requirements Options
    van Lamsweerde, Axel[UCL] (2009) Conceptual Modeling: Foundations and Applications — [ISBN : 978-3-642-02462-7]
    • Book
    Current Issues in Expert Systems
    van Lamsweerde, Axel[UCL] Dufour, Pierre (1987)
    • 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
    • Journal article
    Inferring declarative requirements specifications from operational scenarios
    van Lamsweerde, Axel[UCL] Willemet, L (1998) IEEE Transactions on Software Engineering — Vol. 24, no. 12, p. 1089-1114 (1998)
    • 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)
    • Journal article
    Goal-directed Requirements Acquisition
    Dardenne, A. van Lamsweerde, Axel[UCL] Fickas, S. (1993) Science of Computer Programming — Vol. 20, no. 1-2, p. 3-50 (1993)
    • 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)
    • Speech
    Risk-driven revision of requirements models
    Alrajeh, Dalal van Lamsweerde, Axel[UCL] Kramer, Jeff Russo, Alessandra Uchitel, Sebastian (2016) 38th IEEE International Conference on Software Engineering — Austin, Texas
    • 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)

Pages