The design of correct specifications is a critical task in the software development process. This paper describes an alternative approach for the development of specifications. The approach relies on a specification language for abstract data types and a synthesis system. The synthesis system is capable of translating an abstract data type specification into an executable program. This new methodology is useful for the early testing of specifications and for developing prototypes and implementation models.
|Title of host publication||Unknown Host Publication Title|
|Number of pages||5|
|Publication status||Published - Dec 1 1984|
ASJC Scopus subject areas