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

More articles like this

Activation and validation of the system specificat...

on Microprocessing and Microprogr... Jan 01, 1991

Validation-directed specification of communication...

on Information and Software Techn... Jan 01, 1995

Specification, validation, and verification of tim...

on Computer Communications Jan 01, 1998
More articles like this..