The Z notation: a reference manual
The Z notation: a reference manual
The templates approach to software reuse
Software reusability: vol. 1, concepts and models
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Using types as search keys in function libraries
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Component-Based Software Engineering: Selected Papers from the Software Engineering Institute
Component-Based Software Engineering: Selected Papers from the Software Engineering Institute
Reuse of Verified Design Templates Through Extended Pattern Matching
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specification-Based Retrieval Strategies for Module Reuse
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Ontology based algorithm modeling: obtaining adaptation for SOA environment
Proceedings of the 2nd workshop on Middleware for service oriented computing: held at the ACM/IFIP/USENIX International Middleware Conference
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Hi-index | 0.00 |
The increased reliance on software in critical applications suggests a greater need for formal methods to be used in the development of such software. A number of formal languages and toolsets exist for developing formally specified and verified software; however experience tells us that the development of formally verified software, even with the current tool support, is an expensive process.By adopting a component-based development methodology, whereby software is developed from reusable components, significant savings can be made. In particular the amount of proof --- arguably the most expensive and difficult part of formal development --- can be greatly reduced by proving the correctness of reusable components once, off-line, prior to their use.Tools are required which support the user in adapting and retrieving components from libraries of formally specified components. This paper describes extensions to the CARE toolset that support adaptation and retrieval of reusable components.