✦ LIBER ✦

Functional refinement and nested objects for object-oriented design

✍ Scribed by Jalote, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software design by object-oriented funct

✍ Alan Richmond 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 694 KB

ERC – An object-oriented refinement calc

✍ Richard F. Paige; Jonathan S. Ostroff 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 270 KB

Object-oriented and functional software

✍ Stephen S Yau; Doo-Hwan Bae 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 826 KB

Formal specification and object-oriented

✍ Mary Buchanan; Carol Britton 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 153 KB

Icon systems for object-oriented system

✍ Andrew M. Olson 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 1006 KB

Object-oriented design for power system

✍ Pandit, S.; Soman, S.A.; Khaparde, S.A. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 110 KB