✦ LIBER ✦

A Formal Object Approach to the Design of ZML

✍ Scribed by Jing Sun; Jin Song Dong; Jing Liu; Hai Wang

Book ID: 110348658
Publisher: Springer
Year: 2002
Tongue: English
Weight: 258 KB
Volume: 13
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1016513914276

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach to perfective software

A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

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

A formal approach to schema design for e

A formal approach to schema design for engineering databases

✍ William J. Rasdorf; Osama Y. Abudayyeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 728 KB

Using Design Explanation within the Form

Using Design Explanation within the Formal Object-Oriented Method

✍ L. Nguyen; P. A. Swatman; G. Shanks 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 259 KB

A practical approach to the design of co

A practical approach to the design of concurrency in object-oriented systems

✍ Maher Awad; Jurgen Ziegler 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 301 KB 👁 2 views

Object-oriented software development methods deal with concurrency according to either the implicit concurrency model or the explicit concurrency model. In the implicit model, the objects themselves have concurrent execution capabilities whereas in the explicit model, objects are encapsulated inside

URDAD as a semi-formal approach to analy

URDAD as a semi-formal approach to analysis and design

✍ Fritz Solms; Dawid Loubser 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 539 KB

Object-oriented approach to a knowledge-

Object-oriented approach to a knowledge-based structural design system

✍ Kyung-Ho Lee; Dongkon Lee; Soon-Hung Han 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 728 KB