Toward a Classification Approach to Design (1996)
| Venue: | Proc. of AMAST'96 |
| Citations: | 30 - 4 self |
BibTeX
@INPROCEEDINGS{Smith96towarda,
author = {Douglas R. Smith},
title = {Toward a Classification Approach to Design},
booktitle = {Proc. of AMAST'96},
year = {1996},
pages = {62--84},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper addresses the problem of how to construct refinements of specifications formally and incrementally. The key idea is to use a taxonomy of abstract design concepts, each represented by a design theory. An abstract design concept is applied by constructing a specification morphism from its design theory to a requirement specification. Procedures for propagating constraints, computing colimits, and constructing specification morphisms provide computational support for this approach. Although we conjecture that classification generally applies to the incremental application of knowledge represented in a taxonomy of design theories, this paper mainly focuses on algorithm design theories and presents several examples of design by classification.
