Formal approaches to software reuse rely heavily upon specification matchingcriterion, where a search query using formal specifications is used to search a library of components indexed by specifications. In previous investigations, we addressed the use of formal methods and component libraries to support software reuse and construction of software based on component specifications. A difficult...

The paper presents a hierarchical model for integrating structured HPC legacy software modules into a grid-adaptive scientific library service able to deliver quality computing-service on a performance contract basis. The service proactively administers both computing resources and configurable library software modules on behalf of client applications, and seamlessly supports their re-configura...