Layered specifications to support reusability and integratibility

Abstract

This paper argues for a layered approach towards system specification. It shows, how relational specifications will help system designers not to bind themselves too early into premature decisions and how designs aiming for heavy reuse can grow by enriching specifications stepwise.<>