✦ LIBER ✦

A formal model of the software test process

✍ Scribed by Cangussu, J.W.; DeCarlo, R.A.; Mathur, A.P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Best Practices for the Formal Software T

✍ Lutz, M.J. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 252 KB

A formal abstract framework for modellin

✍ Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 531 KB

A formal process for evaluating COTS sof

✍ Lawlis, P.K.; Mark, K.E.; Thomas, D.A.; Courtheyn, T. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 286 KB

A formal representation of process model

✍ R Bogusch; W Marquardt 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 715 KB

A model of the software development proc

✍ Montgomery Phister Jr. 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

A formal analysis of the subsume relatio

✍ Hong Zhu 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 844 KB