User menu

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

Search

Displaying 6 results.
    • Dissertation
    Compositional Analysis of Iterated Relations : Dynamics and Computations/
    Geurts, Frédéric (1997)
    • WorkingPaper
    Polynomial regular inference
    Dupont, Pierre[UCL] (1997)
    • Speech
    GRAIL/KAOS: an environment for goal-driven requirements engineering
    Darimont, R. Delor, E. Massonet, P. van Lamsweerde, Axel[UCL] (1997) Proceedings of International Conference on Software Engineering. ICSE 97 — Boston, MA, USA
    • Journal article
    Mobile objects in distributed Oz
    Van Roy, Peter[UCL] Haridi, S. Brand, P Smolka, G Mehl, M Scheidhauer, R (1997) ACM Transactions on Programming Languages and Systems — Vol. 19, no. 5, p. 804-851 (1997)
    • 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)
    • 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.