Searching for "How Did Software Get So Reliable Without Proof?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

Component-based Systems as an aid to Design Validation
by Peter Henderson, So Bj — 1999
…. Hoare, “How did Software get to be so reliable without proof,” presented at 18th International…
Cited by 1 (1 self) – Add To MetaCart

From Formal Techniques to Well-Founded Software Development Methods
by E. Astesiano, G. Reggio, M. Cerioli — 2002 — In Proc. of The 10th Anniversary Colloquium of the United Nations University International Institute for Software Technology (UNU/IIST): Formal Methods at the Crossroads from Panacea to Foundational Support. Lisbon - Portugal, March 18-21, 2002., LNCS
… the curious title "How did software get so reliable without proof? ". I must however mention that the software…
Cited by 5 (5 self) – Add To MetaCart

Combination and Implementation of Processes and Data: from CSP-OZ to Java
by Clemens Fischer, Fachbereich Informatik, Des Fachbereichs Informatik — 2000
… is from his invited talk at Formal Methods Europe 1996 with the remarkable title "How Did Software Get So…
Cited by 37 (4 self) – Add To MetaCart

Formalism and Method
by Egidio Astesiano, Gianna Reggio — 1999
…] with the suggestive title "How did software get so reliable without proof?" admits "a large gap between theory…
Cited by 14 (4 self) – Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB