Mappings for rapid prototyping

19 April 1982

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes

Vol. 7 (5) , 17-24
https://doi.org/10.1145/1006258.1006262

Abstract

The transformational methodology for software development is adapted to perform rapid conversion of specifications into prototypes. This makes feasible testing of specifications to observe their behaviours and assuring that specifications can indeed be implemented.The approach is centered on gathering techniques to map each type of specification language construct into a reasonably efficient implementation. Instances of these constructs in an actual specification may then serve as the focal points for the conversion process.

Keywords

This publication has 8 references indexed in Scilit:

Using symbolic execution to characterize behavior
Published by Association for Computing Machinery (ACM) ,1982
Operational specification as the basis for rapid prototyping
Published by Association for Computing Machinery (ACM) ,1982
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems, 1981
Program Development as a Formal Activity
IEEE Transactions on Software Engineering, 1981
Transformational Implementation: An Example
IEEE Transactions on Software Engineering, 1981
Towards a wide spectrum language to support program specification and program development
ACM SIGPLAN Notices, 1978
A system which automatically improves programs
Acta Informatica, 1976
Improving and refining programs by program manipulation
Published by Association for Computing Machinery (ACM) ,1976