User menu

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

Search

Displaying 1 - 25 of 74 results.

Pages

    • 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
    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
    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
    Deadlock prevention in real-time systems
    van Lamsweerde, Axel[UCL] (1974) International Computing Symposium — Davos, Switzerland
    • 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 2
    van Lamsweerde, Axel[UCL] (1983) Technology and Science of Informatics — Vol. 2, no.1, p. 5-20 (1983)
    • 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)
    • 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
    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
    • 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)
    • BookChapter
    Reasoning About Alternative Requirements Options
    van Lamsweerde, Axel[UCL] (2009) Conceptual Modeling: Foundations and Applications — [ISBN : 978-3-642-02462-7]
    • BookChapter
    Formal Specification: a Roadmap
    van Lamsweerde, Axel[UCL] (2000) The Future of Software Engineering — [ISBN : 1-58113-253-0]
    • 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
    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
    • 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 —
    • Speech
    Elaborating security requirements by construction of intentional anti-models
    van Lamsweerde, Axel[UCL] (2004) Proceedings. 26th International Conference on Software Engineering — Edinburgh, UK
    • 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
    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)
    • BookChapter
    From system goals to software architecture
    van Lamsweerde, Axel[UCL] (2003) Lecture Notes in Computer Sciences —

Pages