학술논문
On tight performance specification of object-oriented software components
Document Type
Conference
Author
Source
Proceedings of 1994 3rd International Conference on Software Reuse Software reuse: Advances in software reusability Software Reuse: Advances in Software Reusability, 1994. Proceedings., Third International Conference on. :149-156 1994
Subject
Language
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.ETX