Homepage>Publikationen>PublikationsDetail

Modular Specification and Verification Techniques for Object-Oriented Software Components

In: Leavens, G. T. and Sitaraman, M.ed., Foundations of Component-Based Systems. (to appear), 2000

Authors

Peter Müller
Arnd Poetzsch-Heffter

Abstract

"Reuse, adaption, and composition of prefabricated software components lead to a demand for high-level component specifications and for certification of the component quality. Most quality levels beyond syntactic and type correctness need techniques for formal specification and verification. In this article, we develop a formal modular specification and verification framework for object-oriented components. We present a formally founded, modular sound solution to the frame problem based on modifies-clauses and abstract variables with explicit dependencies. Furthermore, we introduce a programming technique to control sharing and to structure the object store. This programming technique is supported by a type system that allows for static checking of certain sharing properties."

Full Text

PDF: focbs99.pdf
PS.GZ: focbs99.ps.gz

BibTeX

@Book{Mueller.Poetzsch-Heffter00modular, 
   author = {Peter Müller and Arnd Poetzsch-Heffter}
   title = {Modular Specification and Verification Techniques for Object-Oriented Software Components},
   booktitle = {Foundations of Component-Based Systems},
   publisher = {Cambridge University Press},
   note = {(to appear)},
   year = {2000},
}

Einloggen