Representing Component Types for Design
Allen C. Ward, Warren P. Seering · 1987
Abstract We are interested in programs which can support the design of a variety of machines. These will require program modules which can be combined by the designer. We provide parts of a theory for such modules, and illustrate the theory with examples from a simple test program. Finally, we sketch the application of the theory to more complex problems, and outline some issues for further research.