✦ LIBER ✦

Formal methods for legacy systems

✍ Scribed by Ward, M. P. ;Bennett, K. H.

Book ID: 112208035
Publisher: John Wiley and Sons
Year: 1995
Tongue: English
Weight: 952 KB
Volume: 7
Category: Article
ISSN: 1040-550X
DOI: 10.1002/smr.4360070305

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods for interactive systems

✍ Antonio Cerone; Paul Curzon 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 71 KB

Formal methods for broadband and multime

Formal methods for broadband and multimedia systems

✍ Stefan Fischer; Stefan Leue 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 564 KB

The proper capture of desired system properties is a pivotal step in providing high quality systems. The formal specification of these properties is necessary to provide unambiguous documentation as well as automated transformation of Ž . system requirements during all stages of the life cycle. The

Invisible formal methods for embedded co

Invisible formal methods for embedded control systems

✍ Tiwari, A.; Shankar, N.; Rushby, J. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 507 KB

Using formal methods for ensuring qualit

Using formal methods for ensuring quality requirements of systems

✍ G. Fraser; F. Wotawa 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 83 KB

Using software specification methods for

Using software specification methods for measurement instrument systems: Part 2: Formal methods

✍ L Finkelstein; J Huang; A.C.W Finkelstein; B Nuseibeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Formal Methods for MPI Programs

✍ Ganesh Gopalakrishnan; Robert M. Kirby 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 218 KB