SECD: DESIGN ISSUES

Loading...
Thumbnail Image

Journal Title

Journal ISSN

Volume Title

Publisher

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.

Description

Citation

Endorsement

Review

Supplemented By

Referenced By