Affordable Access

Publisher Website

Didon: system for specification validation

Authors
Journal
Information and Software Technology
0950-5849
Publisher
Elsevier
Publication Date
Volume
33
Issue
7
Identifiers
DOI: 10.1016/0950-5849(91)90093-q
Keywords
  • Specification
  • Requirements Specification
  • Specification Language
  • Verification And Validation

Abstract

Abstract In all models of the software life-cycle, the requirements specification phase, i.e., the phase when the user requirements are elicited and expressed formally, plays a critical role. Two key properties of specifications are completeness (i.e., their ability to capture all the user requirements) and minimality (i.e., their ability to capture nothing but the user requirements). The paper describes a system that helps specifiers check these properties on specifications that are written in some predefined relational form.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments