𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal specification of a persistent object management system

✍ Scribed by J Murphy; J Grimson

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
969 KB
Volume
35
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Object modelling and formal specificatio
Object modelling and formal specification during real-time system development
✍ P.G. O'Donoghue; M.H. Murphy πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 247 KB

Object oriented techniques promote understanding of requirements leading to flexible and extendible designs. The use of formal specification techniques ensures a complete understanding of system requirements and provides sound foundations for subsequent testing and verification. This paper describes

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

Formal specification and use case genera
Formal specification and use case generation for a mobile telephony system
✍ Randall Tuok; Luigi Logrippo πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 814 KB

Use cases are widely recognized as useful tools for describing user requirements. However, the representation of a system by a collection of use cases has disadvantages, particularly it is time-consuming to derive large sets of use cases manually, and it is difficult to ascertain consistency and com