✦ LIBER ✦

Formal methods in computer system design

✍ Scribed by C.A.R. Hoare

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 501 KB
Volume: 57
Category: Article
ISSN: 0010-4655
DOI: 10.1016/0010-4655(89)90213-0

No coin nor oath required. For personal study only.

✦ Synopsis

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.

📜 SIMILAR VOLUMES

Formal methods in system design and impl

Formal methods in system design and implementation

✍ Bernard Sufrin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th

Formal Methods in Human-Computer Interac

Formal Methods in Human-Computer Interaction

✍ Rinsjel Winder 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 103 KB

Computing with words in formal methods

✍ Tuan D. Pham 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

Mathematical methods in computer graphic

Mathematical methods in computer graphics and design

📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 155 KB

This conference, held to consider the area of application of the new graphics chapter of the Numerical Algorithms Group Library was very heavily subscribed, and seemed to be regarded by the attendees as well worth while. The three morning papers

Computer systems in highway design

✍ G. Hall 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 116 KB

Developments in computer aided control s

Developments in computer aided control system design

✍ P.H. Hammond 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 132 KB