This paper addresses the issue of verification of coded reusable software components. A new approach for this purpose is presented. The kernel of this approach is program transformation and specification realization. The theoritical foundation of the approach is algebraic specification technique with models. As a working example the whole verification process of a concrete coded reusable component is given. Purpose of this work is expected to improve software correctness and reliability.
展开▼
