DIDON - SYSTEM FOR SPECIFICATION VALIDATION

被引：1

作者：

BOUDRIGA, N

MILI, A

ZALILA, R

机构：

[1] Department of Informatics, Faculty of Sciences of Tunis

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1991年 / 33卷 / 07期

关键词：

SPECIFICATION; REQUIREMENTS SPECIFICATION; SPECIFICATION LANGUAGE; VERIFICATION AND VALIDATION;

D O I：

10.1016/0950-5849(91)90093-Q

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：489 / 498

页数：10