Layered specifications to support reusability and integratibility
Roland T. Mittermeir, E. Kofler · 2003
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.>