Generation of ADA and PL/1 prototypes from abstract data type specifications

Boumediene Belkhouche

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


A software system prototype is an operational model that exhibits the behavioral and structural characteristics of the desired software product. We describe a prototyping system that automatically generates compilable prototypes by transforming an abstract data type specification into a program. The prototyping system consists of two versions: a compiler on MULTICS that generates PL/1 code, and a compiler on UNIX that generates ADA code. The proposed approach allows the specification developer to investigate the behavior of the specifications and define implementation models.

Original languageEnglish
Pages (from-to)255-264
Number of pages10
JournalThe Journal of Systems and Software
Issue number3
Publication statusPublished - Nov 1991
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture


Dive into the research topics of 'Generation of ADA and PL/1 prototypes from abstract data type specifications'. Together they form a unique fingerprint.

Cite this