On theory and practice of Assertion Based Software Development
Herbert Toth, SIEMENS AG Austria |
 |
REFEREED
ARTICLE
PDF Version |
Abstract
It is common agreement that software engineering can meet its challenges
only if disciplined reuse and composition mechanisms can be established
in both theory and practice. In this paper we provide a thorough analysis
of the percolation pattern and three alternatives to it. As result
of this analysis we get that each of these alternative checking strategies
ensures behavioral subtyping and therefore good reuse properties. However,
none of them allows for modular reasoning due to missing success or
failure conformance over class hierarchies.
Note: Due to the typographical sophistication of this article, no
HTML version is available. Please use the PDF version.
About the author
Herbert Toth is a senior software engineer in the Program
and System Engineering Department of SIEMENS AG Austria. He holds a diploma
degree in computer science
from the Technical University, and a Ph.D. degree in mathematical
logic from the University, both in Vienna. During the eighties and nineties
his
research interests led to some publications on the foundations of
fuzzy set theory. He can be reached at herbert.toth@siemens.com.
Cite this article as follows: Herbert Toth: “On theory and practice
of Assertion Based Software Development”, in Journal of Object
Technology, vol. 4, no. 2, March-April 2005, pp. 109-129 http://www.jot.fm/issues/issue_2005_03/article2
|
