๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal Methods in Communication Protocol Design

โœ Scribed by Bochmann, G.; Sunshine, C.

Book ID
111893810
Publisher
IEEE
Year
1980
Tongue
English
Weight
989 KB
Volume
28
Category
Article
ISSN
0090-6778

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal methods in computer system design
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.

Deriving complexity information from a f
Deriving complexity information from a formal communication protocol specification
โœ Sun-Jen Huang; Richard Lai ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 152 KB

Communication software systems have become very large and complex. Recognizing the complexity of such software systems is a key element in their development activities. Software metrics are useful quantitative indicators for assessing and predicting software quality attributes, like complexity. Howe

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