𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Comparison of formal specification methods and object-oriented paradigms

✍ Scribed by Michal Iglewski; Tomasz Müldner

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
297 KB
Volume
20
Category
Article
ISSN
1084-8045

No coin nor oath required. For personal study only.

✦ Synopsis

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, discuss their place in software development process, and analyse possible benefits from their applications.

📜 SIMILAR VOLUMES

A formal model of views for object-orien
A formal model of views for object-oriented database systems
✍ Guerrini, Giovanna; Bertino, Elisa; Catania, Barbara; Garcia-Molina, Jesus 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB 👁 2 views

The definition of a view mechanism is an important issue for object-oriented database systems, in order to provide a number of features that are crucial for the development of advanced applications. Due to the complexity of the data model, the object-oriented paradigm introduces new problems in the

Comparison of extraction methods for the
Comparison of extraction methods for the recovery, amplification and species-specific analysis of DNA from bone and bone meals
✍ Marta Prado; Carlos M. Franco; Cristina A. Fente; Alberto Cepeda; Beatriz I. Váz 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 132 KB 👁 2 views

Comparison of extraction methods for the recovery, amplification and species-specific analysis of DNA from bone and bone meals We report the effect of several parameters on the efficiency of recovery of DNA from animal bones. The effects of preheating the samples (at either 607C or 1007C) at differe

Comparison of the specificity and sensit
Comparison of the specificity and sensitivity of traditional methods for assessment of nephrotoxicity in the rat with metabonomic and proteomic methodologies
✍ Andy Gibbs 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 148 KB 👁 2 views

There is currently a great deal of scientific interest and debate concerning the possible advantages that proteomic and metabonomic technologies might have over traditional biomarkers of toxicity (blood and urine chemistry, histopathology). Numerous papers have been published that make impressive cl