✦ LIBER ✦

Using formal methods for ensuring quality requirements of systems

✍ Scribed by G. Fraser; F. Wotawa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using software specification methods for

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

A formal method to model early requireme

✍ Mao Xin-jun; Yu Eric 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 462 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

Systems modeling & requirements specific

✍ Jonah Z. Lavi; Joseph Kudish 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 526 KB

Experience of using a lightweight formal

✍ Michael Breen 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 304 KB

Requirements to HPLC systems suitable fo

✍ N. A. Epshtein; S. V. Emshanova 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 118 KB