Using transformations in specification-based prototyping
- 1 May 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 19 (5) , 436-452
- https://doi.org/10.1109/32.232011
Abstract
No abstract availableThis publication has 27 references indexed in Scilit:
- Software merge: Models and methods for combining changes to programsJournal of Systems Integration, 1991
- Normal forms for algebraic specifications of reusable Ada packagesPublished by Association for Computing Machinery (ACM) ,1991
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- Research on Knowledge-Based Software Environments at Kestrel InstituteIEEE Transactions on Software Engineering, 1985
- Program Reusability through Program TransformationIEEE Transactions on Software Engineering, 1984
- Reusability Through Program TransformationsIEEE Transactions on Software Engineering, 1984
- Program developmentsCommunications of the ACM, 1983
- Program Transformation SystemsACM Computing Surveys, 1983
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977