Concepedia

Requirements Consistency Checking

Requirements Consistency Checking is a systematic validation activity that belongs to the class of requirements quality assurance methods, distinguished by its focus on identifying contradictions, conflicts, and logical incoherencies among documented requirements to ensure they collectively describe a unified, feasible, and unambiguous system specification.

37

Publications

1.9K

Citations

84

Authors

52

Institutions

Publications per year

2017–2026

7

Parents

Publications

37

Automated consistency checking of requirements specifications

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · ACM Transactions on Software Engineering and Methodology · 1996 · 603 citations

, , +16

Reasoning about inconsistencies in natural language requirements

Vincenzo Gervasi, Didar Zowghi · ACM Transactions on Software Engineering and Methodology · 2005 · 194 citations

, , +16

Leveraging inconsistency in software development

Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo · Computer · 2000 · 185 citations

, , +10

Consistency checking of SCR-style requirements specifications

Constance Heitmeyer, B. Labaw, Daniel L. Kiskis · 2002 · 138 citations

, , +13

Semantics of trace relations in requirements models for consistency checking and inferencing

Arda Göknil, Ivan Kurtev, Klaas van den Berg et al. · Software & Systems Modeling · 2009 · 70 citations · Full text

, , +16

1–5 of 37

Authors

84

  1. BN
    Bashar Nuseibeh

    The Open University, United Kingdom

    2 publications · 208 citations

    2

    h-index

  2. ZJ
    Zhi Jin

    Peking University, China

    2 publications · 34 citations

    2

    h-index

  3. MK
    Massila Kamalrudin

    University of Auckland, New Zealand

    2 publications · 56 citations

    2

    h-index

  4. SE
    Steve Easterbrook

    University of Toronto, Canada

    2 publications · 208 citations

    2

    h-index

  5. CS
    Cristina Seceleanu

    Mälardalen University, Sweden

    2 publications · 34 citations

    2

    h-index

1–5 of 84

Institutions

52

  1. University of Toronto

    Toronto, Canada

    3 h-index

    3 publications

    256 citations

  2. University of Duisburg-Essen

    Essen, Germany

    2 h-index

    4 publications

    86 citations

  3. University of Auckland

    Auckland, New Zealand

    2 h-index

    2 publications

    56 citations

  4. Mälardalen University

    Västerås, Sweden

    2 h-index

    5 publications

    84 citations

  5. University of Macau

    Macao, Macao

    2 h-index

    3 publications

    69 citations

  6. Johannes Kepler University of Linz

    Linz, Austria

    2 h-index

    5 publications

    63 citations

  7. United States Naval Research Laboratory

    Washington, United States

    2 h-index

    6 publications

    2.2K citations

  8. Imperial College London

    London, United Kingdom

    2 h-index

    3 publications

    393 citations

1–8 of 52

Venues

  1. ACM Transactions on Software Engineering and Methodology

    TOSEM · 2 publications · 797 citations

    2

    h-index

  2. Computer

    1 publications · 185 citations

    1

    h-index

  3. Technische Universität Berlin – Universitätsbibliothek

    Repository · 1 publications · 10 citations

    1

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 1 publications · 48 citations

    1

    h-index

  5. Expert Systems with Applications

    1 publications · 11 citations

    1

    h-index

1–5