An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
Program Transformation Systems
ACM Computing Surveys (CSUR)
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
| Hi-index | 0.00 |
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.