Didon: system for specification validation

N. Boudriga, A. Mili, R. Zalila

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)489-498
Number of pages10
JournalInformation and Software Technology
Issue number7
StatePublished - Sep 1991
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications


  • requirements specification
  • specification
  • specification language
  • verification and validation


Dive into the research topics of 'Didon: system for specification validation'. Together they form a unique fingerprint.

Cite this