✦ LIBER ✦

Using inspections to investigate program correctness

✍ Scribed by Britcher, R.N.

Book ID: 114546065
Publisher: IEEE
Year: 1988
Tongue: English
Weight: 792 KB
Volume: 21
Category: Article
ISSN: 0018-9162
DOI: 10.1109/2.86785

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

OSHA inspections: Process and outcomes i

OSHA inspections: Process and outcomes in programmed inspections versus complaint-investigated inspections

✍ Robert F. Scherer; Crystal L. Owen 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 551 KB

An elementary and unified approach to pr

An elementary and unified approach to program correctness

✍ Jaime A. Bohórquez V 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 207 KB

USING INSPECTION AND MAINTENANCE PROGRAM

USING INSPECTION AND MAINTENANCE PROGRAMS TO REGULATE VEHICLE EMISSIONS

✍ THOMAS N. HUBBARD 📂 Article 📅 1997 🏛 Oxford University Press 🌐 English ⚖ 993 KB

Using fMRI to investigate

✍ Marcia K. Johnson; Carol L. Raye; Karen J. Mitchell; Erich J. Greene; William A. 📂 Article 📅 2005 🏛 Psychonomic Society Publications 🌐 English ⚖ 724 KB

A constructive approach to the problem o

A constructive approach to the problem of program correctness

✍ E. W. Dijkstra 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 867 KB

A constructive approach to the problem o

A constructive approach to the problem of program correctness

✍ E. W. Dijkstra 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 867 KB

As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa