✦ LIBER ✦

Formal methods in system design and implementation

✍ Scribed by Bernard Sufrin

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

No coin nor oath required. For personal study only.

✦ Synopsis

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 these problems. In this paper we show how formal methods may be employed during the design phases of a project to help clarify and validate ideas, and during the implementation phases to increase confidence in the code.

📜 SIMILAR VOLUMES

Formal methods in computer system design

✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

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.

Control system safety interlocks—Design

Control system safety interlocks—Design and implementation

✍ Victor J. Maggioli; William H. Johnson Jr. 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 360 KB

Design and implementation of groundwater

Design and implementation of groundwater recovery systems

✍ Elton, R. L. ;Schipper, M. ;Cooper, M. W. ;Kent, R. T. 📂 Article 📅 1985 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 616 KB

Methods and tools for system design

✍ J.K. Buckle 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 651 KB

Challenges in designing, implementing an

Challenges in designing, implementing and operating an environmental management system

✍ Lisa-Henri Kirkland; Dixon Thompson 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 274 KB 👁 1 views

Introducing an effective environmental management system (EMS) to an organization is a complex process. This complexity is belied by current EMS models that concentrate on EMS frameworks and components, and present a relatively simple approach to the process, especially the introduction and implemen

Architecture, design, and implementation

Architecture, design, and implementation of a multimedia conference system

✍ Anna Hać; Dongchen Lu 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 485 KB 👁 2 views

In this article a new multimedia conference system is designed and implemented which allows a group of users to conduct a meeting in real time. Participants can jointly view and edit relevant multimedia information, including text, graphics, and still images distributed throughout the network.