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 translating in abstract data type specification into an executable program. This process defines an alternative methodology that provides the necessary tools for the early testing of the specifications and for the development of prototypes and implementation models.