✦ LIBER ✦

Using Z to specify object-oriented software complexity measures

✍ Scribed by Timothy K. Shih; Chun-Chia Wang; Chi-Ming Chung

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lessons from using Z to specify a softwa

✍ Neil, M.; Ostrolenk, G.; Tobin, M.; Southworth, M. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 157 KB

Object-oriented software quality through

✍ Ying-Hong Wang; Chi-Ming Chung; Timothy K. Shih; Huan-Chao Keh; Wei-Chuan Lin 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 36 KB

Using relative complexity to allocate re

✍ Jianqiang Zhuo; Paul Oman; Ramkumar Pichai; Sujay Sahni 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 35 KB

A formal approach to perfective software

✍ David Rine 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 734 KB

The need for the complex use of redundan

✍ F. I. Khrapov 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 174 KB