An environment for Ada software development based on formal specification
- 1 May 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. VII (3) , 94-106
- https://doi.org/10.1145/24645.24651
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Concurrent runtime checking of annotated Ada programsPublished by Springer Nature ,1986
- Runtime detection and description of deadness errors in Ada taskingACM SIGAda Ada Letters, 1985
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- ANNAPublished by Association for Computing Machinery (ACM) ,1980