Concepedia

Requirements Correctness Checking

Requirements Correctness Checking is a requirements validation method that verifies the extent to which specified requirements accurately reflect the stakeholders' intended needs, system objectives, and domain constraints by identifying syntactic, semantic, and logical inconsistencies, ambiguities, or omissions in the requirements documentation.

4

Publications

107

Citations

12

Authors

8

Institutions

Publications per year

2017–2026

2

Parents

Publications

4

Early validation of system requirements and design through correctness-by-construction

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros et al. · Journal of Systems and Software · 2018 · 37 citations · Full text

, , +14

Model Checking Goal-Oriented Requirements for Self-Adaptive Systems

Dhaminda B. Abeywickrama, Franco Zambonelli · 2012 · 36 citations · Full text

, , +17

Software Verification and Validation: Its Role in Computer Assurance and Its Relationship with Software Project Management Standards

Dolores R Wallace, Roger Fujii · 1989 · 17 citations

, , +16

A Method for Verifying Non-Functional Requirements

Yuuma Matsumoto, Sayaka Shirai, Atsushi Ohnishi · Procedia Computer Science · 2017 · 17 citations · Full text

, , +16

1–4 of 4

Authors

12

  1. AO
    Atsushi Ohnishi

    Daicel (Japan), Japan

    1 publications · 17 citations

    1

    h-index

  2. DR
    Dolores R Wallace

    National Institute of Standards and Technology, United States

    1 publications · 17 citations

    1

    h-index

  3. DB
    Dhaminda B. Abeywickrama

    University of Modena and Reggio Emilia, Italy

    1 publications · 36 citations

    1

    h-index

  4. FZ
    Franco Zambonelli

    University of Modena and Reggio Emilia, Italy

    1 publications · 36 citations

    1

    h-index

  5. SB
    Simon Bliudze

    École Polytechnique Fédérale de Lausanne, Switzerland

    1 publications · 37 citations

    1

    h-index

1–5 of 12

Institutions

8

  1. University of Modena and Reggio Emilia

    Modena, Italy

    1 h-index

    2 publications

    72 citations

  2. Ritsumeikan University

    Kyoto, Japan

    1 h-index

    3 publications

    51 citations

  3. Verimag

    Gières, France

    1 h-index

    1 publications

    37 citations

  4. Laboratoires Spiral (France)

    Couternon, France

    1 h-index

    1 publications

    37 citations

  5. Centre Inria de l'Université de Lille

    Villeneuve-d'Ascq, France

    1 h-index

    1 publications

    37 citations

  6. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    1 h-index

    1 publications

    37 citations

  7. Ames Research Center

    Mountain View, United States

    1 h-index

    1 publications

    37 citations

  8. Aristotle University of Thessaloniki

    Thessaloniki, Greece

    1 h-index

    2 publications

    74 citations

1–8 of 8

Venues

  1. Procedia Computer Science

    1 publications · 17 citations

    1

    h-index

  2. Journal of Systems and Software

    JSS · 1 publications · 37 citations

    1

    h-index

1–2