Concepedia

Kaos Methodology

KAOS Methodology is a goal-oriented requirements engineering framework that distinguishes itself by systematically using formal logic to elicit, structure, and specify software requirements through goal refinement, obstacle analysis, and the precise definition of domain assumptions and constraints.

31

Publications

2.4K

Citations

85

Authors

37

Institutions

Publications per year

2017–2026

2

Variants

KaosKnowledge Acquisition In Automated Specification

Parents

Publications

31

Managing conflicts in goal-driven requirements engineering

Axel van Lamsweerde, Robert Darimont, Emmanuel Letier · IEEE Transactions on Software Engineering · 1998 · 600 citations

, , +16

Formal refinement patterns for goal-driven requirements elaboration

Robert Darimont, Axel van Lamsweerde · 1996 · 352 citations · Full text

, , +17

Fuzzy Goals for Requirements-Driven Adaptation

Luciano Baresi, Liliana Pasquale, Paola Spoletini · 2010 · 261 citations

, , +15

Inferring declarative requirements specifications from operational scenarios

Axel van Lamsweerde, L. Willemet · IEEE Transactions on Software Engineering · 1998 · 251 citations

, , +17

KAoS policy management for semantic Web services

Andrzej Uszok, Jeffrey M. Bradshaw, Matthew Johnson et al. · IEEE Intelligent Systems · 2004 · 216 citations

, , +17

1–5 of 31

Authors

85

  1. AV
    Axel van Lamsweerde

    UCLouvain, Belgium

    5 publications · 1.4K citations

    5

    h-index

  2. AU
    Andrzej Uszok

    Florida Institute for Human and Machine Cognition, United States

    3 publications · 243 citations

    3

    h-index

  3. RD
    Robert Darimont

    UCLouvain, Belgium

    3 publications · 1K citations

    3

    h-index

  4. JM
    Jeffrey M. Bradshaw

    Florida Institute for Human and Machine Cognition, United States

    3 publications · 243 citations

    3

    h-index

  5. RJ
    Renia Jeffers

    Florida Institute for Human and Machine Cognition, United States

    2 publications · 231 citations

    2

    h-index

1–5 of 85

Institutions

37

  1. UCLouvain

    Louvain-la-Neuve, Belgium

    4 h-index

    8 publications

    2.6K citations

  2. King's College London

    London, United Kingdom

    3 h-index

    5 publications

    88 citations

  3. Florida Institute for Human and Machine Cognition

    Pensacola, United States

    3 h-index

    25 publications

    1.2K citations

  4. Michigan State University

    East Lansing, United States

    2 h-index

    6 publications

    212 citations

  5. Universidade Nova de Lisboa

    Lisbon, Portugal

    2 h-index

    5 publications

    60 citations

  6. University of West Florida

    Pensacola, United States

    1 h-index

    8 publications

    96 citations

  7. Universidade de São Paulo

    São Paulo, Brazil

    1 h-index

    3 publications

    33 citations

  8. Universidade do Estado do Rio de Janeiro

    Rio de Janeiro, Brazil

    1 h-index

    1 publications

    20 citations

1–8 of 37

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 851 citations

    2

    h-index

  2. Repository of the University of Namur

    Repository · 1 publications · 11 citations

    1

    h-index

  3. 1

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 1 publications · 84 citations

    1

    h-index

  5. UvA-DARE (University of Amsterdam)

    Repository · 1 publications · 12 citations

    1

    h-index

1–5