Direct implementation of abstract data types from abstract specifications

The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of transla...

Ausführliche Beschreibung