✦ LIBER ✦

Object-Oriented Specification of Distributed Systems (Extended Abstract)

✍ Scribed by Ulrike Lechner

Book ID: 108498448
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 582 KB
Volume: 15
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80025-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal specification framework for obj

A formal specification framework for object-oriented distributed systems

✍ Buchs, D.; Guelfi, N. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 355 KB

Object-oriented co-specification for emb

Object-oriented co-specification for embedded systems

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

Object-oriented decomposition for distri

Object-oriented decomposition for distributed systems

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

Visual Modeling of Object-Oriented Distr

Visual Modeling of Object-Oriented Distributed Systems

✍ HOLGER GIESE; GUIDO WIRTZ 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 731 KB

An object-oriented model for the specifi

An object-oriented model for the specification of manufacturing systems

✍ S.T.W Wong; K.L Mak; H.Y.K Lau 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 200 KB

Object-Oriented Style Overloading for Ha

Object-Oriented Style Overloading for Haskell (Extended Abstract)

✍ Mark Shields; Simon Peyton Jones 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 992 KB

Haskell has a sophisticated mechanism for overloading identifiers with multiple definitions at distinct types. Object-oriented programming has a similar notion of overriding and overloading for methods names. Unfortunately, it is not possible to encode object-oriented overloading directly using Hask