scispace - formally typeset
Search or ask a question

Showing papers by "Computer Resources International published in 1985"


Journal ArticleDOI
TL;DR: The CODE concept can be used to develop formal system specification languages that are application-specific, and that can be part of a semi-automatic system generation process, in which the system specification is transformed directly to the implementation.

1 citations