SOFSPEC: A pragmatic approach to automated specification verification |
| |
Authors: | Erika Nyari Harry Sneed |
| |
Affiliation: | SZKI, BudapestHungary;SES, MunichGermany |
| |
Abstract: | This paper describes a system for the automatic verification of commerical application specifications—SOFSPEC. After having established a relationship to the other requirement specification approaches, the user interface and the database schema are presented. The database schema is based on the entity/relationship model and encompasses four entities and six relationships with a varying number of attributes. These are briefly outlined. Then, the paper describes how these entities and relations are checked against one another in order to ascertain the completeness and consistency of the specification before it is finally documented. |
| |
Keywords: | Address correspondence to Harry Sneed SES GmbH Pappelstrasse 6 8014 Neubiberg West Germany |
本文献已被 ScienceDirect 等数据库收录! |