Concepedia

Requirements Verification

Requirements Verification is the systematic process of evaluating software requirements against predefined criteria to ensure their completeness, consistency, correctness, and traceability, distinguishing it from other verification activities by focusing exclusively on the alignment of specified requirements with stakeholder needs and system objectives.

330

Publications

11.9K

Citations

800

Authors

375

Institutions

Publications per year

2017–2026

44

Parents

Publications

330

Automated consistency checking of requirements specifications

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

, , +16

Advancing candidate link generation for requirements tracing: the study of methods

Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram · IEEE Transactions on Software Engineering · 2006 · 482 citations

, , +16

A Requirements Engineering Methodology for Real-Time Processing Requirements

Mack Alford · IEEE Transactions on Software Engineering · 1977 · 294 citations

, , +17

How perspective-based reading can improve requirements inspections

Forrest Shull, Ioana Rus, Victor R. Basili · Computer · 2000 · 246 citations

, , +16

Correctness by construction: developing a commercial secure system

Anthony Hall, Roderick Chapman · IEEE Software · 2002 · 242 citations

, , +17

1–5 of 330

Authors

800

  1. CH
    Constance Heitmeyer

    United States Naval Research Laboratory, United States

    9 publications · 979 citations

    9

    h-index

  2. JH
    Jane Huffman Hayes

    University of Kentucky, United States

    6 publications · 729 citations

    6

    h-index

  3. MP
    Mats P. E. Heimdahl

    University of Minnesota, United States

    6 publications · 121 citations

    6

    h-index

  4. MR
    Marco Roveri

    Fondazione Bruno Kessler, Italy

    5 publications · 197 citations

    5

    h-index

  5. JM
    Joanne M. Atlee

    University of Waterloo, Canada

    5 publications · 142 citations

    5

    h-index

1–5 of 800

Institutions

375

  1. Jet Propulsion Laboratory

    Pasadena, United States

    8 h-index

    21 publications

    837 citations

  2. United States Naval Research Laboratory

    Washington, United States

    7 h-index

    18 publications

    2.7K citations

  3. University of California, Berkeley

    Berkeley, United States

    7 h-index

    14 publications

    545 citations

  4. University of Toronto

    Toronto, Canada

    6 h-index

    10 publications

    475 citations

  5. University of Kentucky

    Lexington, United States

    6 h-index

    20 publications

    2.3K citations

  6. Linköping University

    Linköping, Sweden

    5 h-index

    11 publications

    187 citations

  7. University of Minnesota

    Minneapolis, United States

    5 h-index

    11 publications

    216 citations

  8. University of Trento

    Trento, Italy

    5 h-index

    8 publications

    273 citations

1–8 of 375

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 10 publications · 1.5K citations

    10

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 9 publications · 271 citations

    9

    h-index

  3. Information and Software Technology

    6 publications · 228 citations

    6

    h-index

  4. INCOSE International Symposium

    6 publications · 133 citations

    6

    h-index

  5. IEEE Software

    5 publications · 528 citations

    5

    h-index

1–5