Please use this identifier to cite or link to this item:
|Title:||SECD: DESIGN ISSUES|
|Abstract:||This paper describes the levels at which the designers found it useful to view the SECD design, and the design issues at each level. The interplay between formal specification and abstraction mechanisms used between views at different levels is described.|
|Appears in Collections:||Technical Reports|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.