Being Suspicious: Critiquing Problem Specifications
Abstract
One should look closely at problem specifications before attempting solutions: we may find that the specifier has only a vague or even erroneous notion of what is required, that the solution of a more general or more specific problem may be of more use, or simply that the problem as given is misstated. Using software development as an example, we present a knowledge-based system for critiquing one form of problem specification, that of a formal software specification.
Cite
Text
Fickas and Nagarajan. "Being Suspicious: Critiquing Problem Specifications." AAAI Conference on Artificial Intelligence, 1988.Markdown
[Fickas and Nagarajan. "Being Suspicious: Critiquing Problem Specifications." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/fickas1988aaai-suspicious/)BibTeX
@inproceedings{fickas1988aaai-suspicious,
title = {{Being Suspicious: Critiquing Problem Specifications}},
author = {Fickas, Stephen and Nagarajan, P.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1988},
pages = {19-24},
url = {https://mlanthology.org/aaai/1988/fickas1988aaai-suspicious/}
}