✦ LIBER ✦

Formalized specification of functional requirements

✍ Scribed by K. Jacobsen; J. Sigurjónsson; Ø. Jakobsen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Specifications of User Requiremen

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

Formal Specification Generation from Req

✍ Gustavo Cabral; Augusto Sampaio 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Multifunctional software systems: Struct

✍ Manfred Broy 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 531 KB

Towards quality requirements via animate

✍ Jawed I. Siddiqi; Ian C. Morrey; Chris R. Roast; Mehmet B. Ozcan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 246 KB

Program Synthesis from Formal Requiremen

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

Elements underlying the specification of

✍ Alan M. Davis; Kathleen Jordan; Tsuyoshi Nakajima 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 771 KB