✦ LIBER ✦

A reference model for requirements and specifications

✍ Scribed by Gunter, C.A.; Gunter, E.L.; Jackson, M.; Zave, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model for analyzing the SCR-sty

✍ Xu Yu; Wu Guoqing; Liu Xiang; Chen Xinmeng 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 56 KB

Toward Automation for Model-Checking Req

✍ Yunja Choi; Sanjai Rayadurgam; Mats P.E. Heimdahl 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

A method and tool for tracing requiremen

✍ Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 774 KB

Possible contributions of the reference

✍ David Bearman 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 622 KB

A model advisor for NuSMV specifications

✍ Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 224 KB

User requirements specifications: a hier

✍ Jytte Brender; Peter McNair 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 123 KB