✦ LIBER ✦

A formally grounded software specification method

✍ Scribed by Christine Choppy; Gianna Reggio

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

Software monitoring through formal speci

✍ Hui Liang; Jin Song Dong; Jing Sun; W. Eric Wong 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB

Predictive software metrics based on a f

✍ WB Samson; DG Nevill; PI Dugard 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 472 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB