✦ LIBER ✦

Response to "Comments on 'Formal methods application: an empirical tale of software development"'

✍ Scribed by Sobel, A.E.K.; Clarkson, M.R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "Formal methods application:

✍ Berry, D.M.; Tichy, W.F. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 215 KB

Formal methods application: an empirical

✍ Sobel, A.E.K.; Clarkson, M.R. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 366 KB

On the development of a formal methods-b

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

Application of an empirically derived gr

✍ C.J. Holmes; R.C. Evans; E. Vonesh 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 824 KB

A formal criterion used to select an opt

✍ D. A. Pogibel’skii; V. E. Antsiperov; S. A. Nikitov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 141 KB

Response to comments on “development of

✍ Banu Örmeci; P.A Vesilind 📂 Article 📅 2001 🏛 IWA Publishing 🌐 English ⚖ 59 KB