✦ LIBER ✦

Formal specification and object-oriented design

✍ Scribed by Mary Buchanan; Carol Britton

Book ID: 107910424
Publisher: Elsevier Science
Year: 1992
Weight: 153 KB
Volume: 34
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(92)90093-m

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparison of formal specification metho

Comparison of formal specification methods and object-oriented paradigms

✍ Michal Iglewski; Tomasz Müldner 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Object orientation and formal methods are widely regarded as two fields with significant potential for new software engineering techniques. This paper discusses the relations between these two approaches. We present various specification techniques which incorporate object-oriented paradigms, discus

OOZS: an object-oriented structured form

OOZS: an object-oriented structured formal specification language

✍ Gang Li; Huaikou Miao; Guanming Zhu 📂 Article 📅 1997 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 373 KB

CSL: A class specification language for

CSL: A class specification language for object-oriented design

✍ G. Bucci; R. Cecchini; A. Del Bimbo 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 375 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

Object-oriented design

✍ Ian Graham 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 97 KB

Object-oriented co-specification for emb

Object-oriented co-specification for embedded systems

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