✦ LIBER ✦

Automatically verifying an object-oriented specification of the Steam-Boiler system

✍ Scribed by Paulo J.F. Carreira; Miguel E.F. Costa

Book ID: 108410786
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 254 KB
Volume: 46
Category: Article
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(02)00092-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 modelling and specificat

Object-oriented modelling and specification of the X.400 mail system

✍ Wai-Lung Loh; Gee-Swee Poo 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 754 KB

An Object-oriented Interpretation of the

An Object-oriented Interpretation of the EAT System

✍ Laureano Lambán; Vico Pascual; Julio Rubio 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 285 KB

The Story of the GeoToolKit—An Object-Or

The Story of the GeoToolKit—An Object-Oriented Geodatabase Kernel System

✍ Oleg Balovnev; Thomas Bode; Martin Breunig; Armin B. Cremers; Wolfgang Müller; G 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 941 KB

Fundamentals of object-oriented informat

Fundamentals of object-oriented information systems specification and design: the OBLOG/TROLL approach

✍ Hans-Dieter Ehrich 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 281 KB

Using an object-oriented approach to the

Using an object-oriented approach to the development of a relational database application system

✍ Pi-Sheng Deng; Cynthia L. Fuhr 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 916 KB

Object-oriented technology has been proposed in recent years as a promising approach to increasing programmer productivity and the quality of software development. The traditional development of a database application system distinctively separates a system's behavior and its data by using entity-re