✦ LIBER ✦

A formal specification framework for object-oriented distributed systems

✍ Scribed by Buchs, D.; Guelfi, N.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Object-Oriented Specification of Distrib

✍ Ulrike Lechner 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 582 KB

Object-oriented co-specification for emb

✍ Wayne Wolf 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 624 KB

SMI++ Object-Oriented Framework for Desi

✍ Franek, B.; Gaspar, C. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 402 KB

Object-oriented decomposition for distri

✍ Gilberto F. Mota; Michael L. Nelson; Uno R. Kodres 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 788 KB

A framework for distributing object-orie

✍ Karim El Guemhioui 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 511 KB

The Algebraic Framework for Object-Orien

✍ D. H. H. Yoon 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 269 KB