A spiral model of software development and enhancement
ACM SIGSOFT Software Engineering Notes
Introduction to algorithms
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Handling conflict between domain descriptions with computer-supported negotiation
Knowledge Acquisition
Experimental results on the application of satisfiability algorithms to scheduling problems
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Principles for generalised testing of knowledge bases
Principles for generalised testing of knowledge bases
Applications of abduction: knowledge-level modelling
International Journal of Human-Computer Studies
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
A Framework for Reasoning about Requirements Evolution
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Scaling Effects in the CSP Phase Transition
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
| Hi-index | 0.00 |
Modern software is often constructed using 驴spiral specification驴; i.e. the specification is a dynamic document that is altered by experience with the current version of the system. Mathematically, many of the sub-tasks within spiral specification belong to the NP-complete class of tasks. In the traditional view of computer science, such tasks are fundamentally intractable and only solvable using incomplete, approximate methods that can be undependable. This traditional view suggests that we should routinely expect spiral specification to always be performed very poorly. This paper is an antidote to such pessimism. Contrary to the traditional view, we can expect that spiral specification can usually be performed adequately, providing that analysts augment their current tools with random probing.