Direct Implementation of Abstract Data Types from Abstract Specifications

Boumediene Belkhouche, Joseph E. Urban

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)


The development 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 system is capable of translating an 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.

Original languageEnglish
Pages (from-to)649-661
Number of pages13
JournalIEEE Transactions on Software Engineering
Issue number5
Publication statusPublished - 1986
Externally publishedYes


  • Abstract data types
  • abstract model
  • implementation models
  • language translation
  • prototyping
  • specification testing
  • specifications
  • synthesis
  • transformation rules

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Direct Implementation of Abstract Data Types from Abstract Specifications'. Together they form a unique fingerprint.

Cite this