Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Specification-based Browsing of Software Component Libraries
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Compilation reuse and hybrid compilation: an experiment
ACM SIGPLAN Notices
Hi-index | 0.00 |
The possibility of verifying systems during any phase of the software development process is one of the most significant advantages of using formal methods. Model checking is considered to be the broadest used formal verification technique, even though a great quantity of computing resources are needed to verify medium-large and large systems. As verification is prevent over the whole software process, these amount of resources is more critic in incremental and iterative life cycles. Our proposal focuses on reusing incomplete models and their verification results —which are obtained from a model checking algorithm— in order to improve these kind of life cycles. Making good use of these previous verification results can reduce the formal verification costs by minimizing the set of requirements and the set of system states where the properties must be verified.The unspecification inherent to incomplete systems is used to provide an approximate and content-oriented retrieval which is supplemented by suggestions to match the desired specifications.