A Methodology for the Design of Ada Transformation Tools in a DIANA Environment
- 1 March 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 2 (2), 24-33
- https://doi.org/10.1109/ms.1985.230347
Abstract
Implementing and testing transformations incrementally makes DIANA-based Ada software tools easier to debug and more efficient.Keywords
This publication has 2 references indexed in Scilit:
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- Runtime Detection and Description of Deadness Errors in Ada Tasking.Published by Defense Technical Information Center (DTIC) ,1983