Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
ACM SIGSOFT, SOFTWARE ENGINEERING NOTES, Vol . 3, No . 3, *************************************** * * Letter on Real Software, Regarding * * the Commentary by Dijkstra and the * * Reply by DeMillo, Lipton and Perlis * * Roger Van Ghent * *************************************** * July 1978 Page 20 I read with interest Professor Dijkstra's note "On a Politica l Pamphlet from the Middle Ages" and the response by Messrs . DeMillo , Lipton and Perlis (SEN 3&2) . The response has asked Dijkstra t o point to "some real-life examples" of increasing confidence in a piece of "real software" by a proof of correctness . It may help to calm the heated exchange to state that we at Chase Manhatta n Bank have substantially increased the confidence in and reliabilit y of "real software" by the extensive use of assertions (which ar e one of the effective tools of proving program correctness) . Two examples will illustrate : 1 . A system to generate a processing history for each of 2 . 2 million checks processed daily at Chase was required in orde r to resolve inquiries about missing and free checks . The inquiries are made using the
ACM SIGSOFT Software Engineering Notes – Association for Computing Machinery
Published: Jul 1, 1978
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.