✦ LIBER ✦

Semantics, calculi, and analysis for object-oriented specifications

✍ Scribed by Achim D. Brucker; Burkhart Wolff

Publisher: Springer-Verlag
Year: 2009
Tongue: English
Weight: 512 KB
Volume: 46
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-009-0093-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A set-oriented method definition languag

A set-oriented method definition language for object databases and its semantics

✍ Elisa Bertino; Giovanna Guerrini; Isabella Merlo 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 571 KB

## Abstract In this paper we propose a set‐oriented rule‐based method definition language for object‐oriented databases. Most existing object‐oriented database systems exploit a general‐purpose imperative object‐oriented programming language as the method definition language. Because methods are wr

Requirements-Level Semantics and Model C

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts

✍ Rik Eshuis; David N. Jansen; Roel Wieringa 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 419 KB

Object oriented system analysis for VLSI

✍ Yun-Chao Hu; Ad Verschueren; M.P.J. Stevens 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 868 KB

Consistency of the static and dynamic co

Consistency of the static and dynamic components of object-oriented specifications

✍ Anna Formica; Heinz Frank 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 184 KB

Code Based Analysis for Object-Oriented

Code Based Analysis for Object-Oriented Systems

✍ Swapan Bhattacharya; Ananya Kanjilal 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 349 KB

Object-oriented co-specification for emb

Object-oriented co-specification for embedded systems

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