User menu

Search

Displaying 1 - 25 of 78 results.

Pages

    • Speech
    Grail/Kaos: a tool for goal-directed requirement analysis
    Darimont, Robert[CEDITI UCL] Delor, Emmanuelle[CEDITI UCL] Massonet, Philippz[CEDITI UCL] van Lamsweerde, Axel[UCL] (1998) 20th International Conference on Software Engineering — Kyoto, Japan
    • 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)
    • 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)
    • Speech
    Reasoning about partial goal satisfaction for requirements and design engineering
    Letier, Emmanuel[UCL] van Lamsweerde, Axel[UCL] (2004) Twelth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12) — Newport Beach, CA, 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
    • 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)
    • Speech
    From System Requirements to System Architecture
    Riemenschneider, R.A. Dutertre, B. Stavridou, V. van Lamsweerde, Axel[UCL] (2000) Fourth International Software Architecture Workshop, Limerick, June 2000 — Limerick, Ireland
    • Journal article
    Formal Derivation of Strongly Correct Concurrent Programs
    van Lamsweerde, Axel[UCL] Sintzoff, Michel (1979) Acta informatica — Vol. 12, no.1, p. 1-31 (1979)
    • 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
    Deadlock prevention in real-time systems
    van Lamsweerde, Axel[UCL] (1974) International Computing Symposium — Davos, Switzerland
    • 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]
    • 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
    • BookChapter
    Active software objects in a knowledge-based lifecycle support environment
    van Lamsweerde, Axel[UCL] (1992) Advances in Object-Oriented Software Engineering — [ISBN : 978-0-1300-6578-0]
    • 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)
    • 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
    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
    Integrating obstacles in goal-driven requirements engineering
    van Lamsweerde, Axel[UCL] Letier, Emmanuel[UCL] (1998) the 1998 International Conference on Software Engineering — Kyoto
    • 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)
    • 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
    Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering]
    van Lamsweerde, Axel[UCL] (2004) Proceedings. 12th IEEE International Requirements Engineering Conference — Kyoto, Japan

Pages