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

Boumediene Belkhouche

doi:10.1016/0164-1212(91)90020-7

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

Boumediene Belkhouche

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

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 language	English
Pages (from-to)	255-264
Number of pages	10
Journal	The Journal of Systems and Software
Volume	16
Issue number	3
DOIs	https://doi.org/10.1016/0164-1212(91)90020-7
Publication status	Published - Nov 1991
Externally published	Yes

ASJC Scopus subject areas

Software
Information Systems
Hardware and Architecture

Access to Document

10.1016/0164-1212(91)90020-7

Cite this

@article{31588e57ae2e46589ddb8ea8a1f67534,

title = "Generation of ADA and PL/1 prototypes from abstract data type specifications",

abstract = "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.",

author = "Boumediene Belkhouche",

year = "1991",

month = nov,

doi = "10.1016/0164-1212(91)90020-7",

language = "English",

volume = "16",

pages = "255--264",

journal = "The Journal of Systems and Software",

issn = "0164-1212",

publisher = "Elsevier Inc.",

number = "3",

}

TY - JOUR

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

AU - Belkhouche, Boumediene

PY - 1991/11

Y1 - 1991/11

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0026260963&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026260963&partnerID=8YFLogxK

U2 - 10.1016/0164-1212(91)90020-7

DO - 10.1016/0164-1212(91)90020-7

M3 - Article

AN - SCOPUS:0026260963

SN - 0164-1212

VL - 16

SP - 255

EP - 264

JO - The Journal of Systems and Software

JF - The Journal of Systems and Software

IS - 3

ER -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this