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

Formal methods in computer technologies

โœ Scribed by I. V. Sergienko; I. N. Parasyuk; A. I. Provotar

Book ID
110611570
Publisher
Springer US
Year
1998
Tongue
English
Weight
848 KB
Volume
34
Category
Article
ISSN
1573-8337

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.

Computing with words in formal methods
Computing with words in formal methods
โœ Tuan D. Pham ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 108 KB ๐Ÿ‘ 1 views
The Method of Computing Formal Moduli
The Method of Computing Formal Moduli
โœ Arvid Siqveland ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB

In this paper we consider a method given earlier for computing the formal moduli of modules. We start with a short resume of the method, then we explain how this method can be implemented using a standard basis computation. We list the formal moduli with versal families for all torsionfree rank 1 mo