Using Abduction to Evolve Inconsistent Requirements Specification
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves are in a transient stage of evolutionary development. In this paper we argue that such inconsistencie...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Australasian Association for Information Systems
1999-05-01
|
| Series: | Australasian Journal of Information Systems |
| Subjects: | |
| Online Access: | http://journal.acs.org.au/index.php/ajis/article/view/296 |