𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Anna Formica; Heinz Frank

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
184 KB
Volume
40
Category
Article
ISSN
0169-023X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Static and dynamic characteristics of ma
Static and dynamic characteristics of machine components in contact
✍ M.P. Chung; W.H. Chen; A.C. Singhal πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 454 KB

Static and dynamic characteristics of a machine joint are studied. A simple model of a beam on an elastic foundation and an iterative technique are used to simulate the non-linear behaviour of the static stiffness of the machine joint. Closed-form shape functions for a beam on elastic foundations ar

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