✦ LIBER ✦

Formal Specification Generation from Requirement Documents

✍ Scribed by Gustavo Cabral; Augusto Sampaio

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated formal specification generatio

✍ Gustavo Cabral; Augusto Sampaio 📂 Article 📅 2008 🏛 SciELO 🌐 English ⚖ 486 KB

Generating diagram editors from formal s

✍ F Arefi; M.T. Milani 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 743 KB

Program Synthesis from Formal Requiremen

✍ Elizabeth I. Leonard; Constance L. Heitmeyer 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 156 KB

Formalized specification of functional r

✍ K. Jacobsen; J. Sigurjónsson; Ø. Jakobsen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Formal Specifications of User Requiremen

✍ Robert G. Clark; Ana M.D. Moreira 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 171 KB

Formal specification and documentation o

✍ Jonathan P. Bowen 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 540 KB