The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1986 vol.12)
pp: 649-661
Boumediene Belkhouche , Department of Computer Science, Tulane University, New Orleans, LA 70118
Joseph E. Urban , Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA 70504
ABSTRACT
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.
INDEX TERMS
Abstracts, Libraries, Software, Specification languages, Semantics, Testing, Syntactics, transformation rules, Abstract data types, abstract model, implementation models, language translation, prototyping, specifications, specification testing, synthesis
CITATION
Boumediene Belkhouche, Joseph E. Urban, "Direct implementation of abstract data types from abstract specifications", IEEE Transactions on Software Engineering, vol.12, no. 5, pp. 649-661, May 1986, doi:10.1109/TSE.1986.6312960
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool