On tight performance specification of object-oriented software components

Author

Sitaraman, Murali

Author_Institution

Dept. of Stat. & Comput. Sci., West Virginia Univ., Morgantown, WV, USA

fYear

1994

fDate

1-4 Nov 1994

Firstpage

149

Lastpage

156

Abstract

Most modern designs of a software component include two separate pieces: functionality specification and implementation. When the specification is formal, this separation permits verification of reusable software components to be modular-essential for verification to be local, scalable, and hence, practical. In this paper, we explain the role of a third piece-an implementation dependent, performance specification-for a component. Introduction of this piece permits performance (e.g., execution time bonus) specification to be expressive (tight) while leaving functionality specification fully abstract and verification to be modular

Keywords

formal specification; object-oriented programming; software reusability; functionality specification; object-oriented software components; reusable software components; tight performance specification; verification; Computer science; Electrical capacitance tomography; Libraries; Productivity; Software engineering; Software maintenance; Software performance; Software reusability; Statistics; Switches;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reuse: Advances in Software Reusability, 1994. Proceedings., Third International Conference on

Conference_Location

Rio de Janeiro

Print_ISBN

0-8186-6632-3

Type

conf

DOI

10.1109/ICSR.1994.365789

Filename

365789