𝔖 Bobbio Scriptorium
✦   LIBER   ✦

OOZS: an object-oriented structured formal specification language

✍ Scribed by Gang Li; Huaikou Miao; Guanming Zhu

Book ID
107482989
Publisher
Chinese Electronic Periodical Services
Year
1997
Tongue
English
Weight
373 KB
Volume
1
Category
Article
ISSN
1007-6417

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

Experiences with an object-oriented, mul
Experiences with an object-oriented, multi-stage language
✍ Gregory Neverov; Paul Roe πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 222 KB

Metaphor is a multi-stage programming language extension to an imperative, object-oriented language in the style of C# or Java. This paper discusses some issues we faced when applying multi-stage language design concepts to an imperative base language and run-time environment. The issues range from