✦ LIBER ✦

A concern-based approach to generating formal requirements specifications

✍ Scribed by Jin, Ying ;Zhang, Jing ;Hao, Weiping ;Ma, Pengfei ;Zhang, Yan ;Zhao, Haiyan ;Mei, Hong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to formalizing specification

✍ Huai-kou Miao; Ling Liu 📂 Article 📅 2006 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 654 KB

A formal requirements specification meth

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 983 KB

From user requirements to commonality sp

✍ Timothy W. Simpson; Aaron Bobuk; Laura A. Slingerland; Sean Brennan; Drew Logan; 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 792 KB

VESAR: a pragmatic approach to formal sp

✍ B. Algayres; V. Coelho; L. Doldi; H. Garavel; Y. Lejeune; C. Rodríguez 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 765 KB

A formal approach to adaptive software:

✍ Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 724 KB

Early Analysis of Critical Faults: An Ap

✍ Das, S.; Banerjee, A.; Dasgupta, P. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 543 KB