User menu

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

Search

Displaying 18 results.
    • 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
    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)
    • 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)
    • 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
    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
    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
    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)
    • 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
    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)
    • 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)
    • 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)
    • 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)
    • 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)
    • Journal article
    Generic Lifecycle Support in the ALMA Environment
    van Lamsweerde, Axel[UCL] Delcourt, Bruno Delor, Emmanuelle Schayes, Marie-Claire Champagne, Robert (1988) IEEE Transactions on Software Engineering — Vol. 14, no.6, p. 720-741 (1988)