Uncertainty in computer application and its control through the engineering of software
- 1 September 1989
- journal article
- Published by Wiley in Journal of Software Maintenance: Research and Practice
- Vol. 1 (1) , 3-27
- https://doi.org/10.1002/smr.4360010103
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- ACM forumCommunications of the ACM, 1989
- Program verification: the very ideaCommunications of the ACM, 1988
- Essential properties of IPSEsACM SIGSOFT Software Engineering Notes, 1987
- ACM forumCommunications of the ACM, 1979
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- On understanding laws, evolution, and conservation in the large-program life cycleJournal of Systems and Software, 1979
- The humble programmerCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931