User menu

Accès à distance ? S'identifier sur le proxy UCLouvain | Saint-Louis

Search

Displaying 1 - 25 of 78 results.

Pages

    • 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
    Goal-oriented requirements animation
    Hung Tran Van van Lamsweerde, Axel[UCL] Massonet, P. Ponsard, C. (2004) Proceedings. 12th IEEE International Requirements Engineering Conference — Kyoto, Japan
    • 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
    • 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)
    • 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
    Making Specification Processes Explicit
    Dubois, Eric van Lamsweerde, Axel[UCL] (1987) The 4th International Workshop on Software Specification and Design (IWSSD-4) — Monterey, California, USA
    • 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)
    • 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
    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
    • 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
    • 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
    • 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
    Model engineering for model-driven engineering
    van Lamsweerde, Axel[UCL] (2010) International Conference on Automated Software Engineering (ASE’2010) — Antwerpen
    • Speech
    Goal-directed concept acquisition in requirements elicitation
    Dardenne, Anne[FUNDP] Fickas, Stephen van Lamsweerde, Axel[UCL] (1991) 6th international workshop on Software specification and design —
    • 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
    Integrating obstacles in goal-driven requirements engineering
    van Lamsweerde, Axel[UCL] Letier, Emmanuel[UCL] (1998) the 1998 International Conference on Software Engineering — Kyoto
    • 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
    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
    Agent-based tactics for goal-oriented requirements elaboration
    Letier, Emmanuel[UCL] van Lamsweerde, Axel[UCL] (2002) Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 — Orlando, FL, USA
    • 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
    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

Pages