ML Anthology

Three Dimensions of Design Development

Neil M. Goldman
AAAI 1983 pp. 130-133
/aaai/1983/goldman1983aaai-three/

Abstract

Formal specifications are difficult to understand for a number of reasons. When the developer of a large specification explains it to another person, he typically includes information in his explanation that is is not present, even implicitly, in the specification itself. One useful form of information presents the specification in terms of an evolution from simpler specifications. Typically a specification was actually produced by a series of evolutionary steps reflected in the explanation. This paper suggests three dimensions of evolution that can be used to structure specification developments: structural granularity, temporal granularity, and coverage. Their use in a particular example is demonstrated.

PDF AAAI Semantic Scholar

Cite

Text

Goldman. "Three Dimensions of Design Development." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Goldman. "Three Dimensions of Design Development." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/goldman1983aaai-three/)

BibTeX

@inproceedings{goldman1983aaai-three,
  title     = {{Three Dimensions of Design Development}},
  author    = {Goldman, Neil M.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {130-133},
  url       = {https://mlanthology.org/aaai/1983/goldman1983aaai-three/}
}