Towards A Method Of Programming With Assertions
- 25 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Run-time consistency checking of algebraic specificationsPublished by Association for Computing Machinery (ACM) ,1991
- A case for makeSoftware: Practice and Experience, 1990
- The use of self checks and voting in software error detection: an empirical studyIEEE Transactions on Software Engineering, 1990
- The Turing programming languageCommunications of the ACM, 1988
- Concurrent runtime checking of annotated Ada programsPublished by Springer Nature ,1986
- An implementation of AnnaACM SIGAda Ada Letters, 1985
- Make — a program for maintaining computer programsSoftware: Practice and Experience, 1979
- Design of self-checking softwarePublished by Association for Computing Machinery (ACM) ,1975
- New assertion concepts for self-metric software validationPublished by Association for Computing Machinery (ACM) ,1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967