PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
Design of a browsing interface for information retrieval
SIGIR '89 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
International Journal of Man-Machine Studies
An incremental concept formation approach for learning from databases
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
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
Assessing modular structure of legacy code based on mathematical concept analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
On the inference of configuration structures from source code
ICSE '94 Proceedings of the 16th international conference on Software engineering
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
Concept analysis—a new framework for program understanding
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Reengineering class hierarchies using concept analysis
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A survey of software reuse libraries
Annals of Software Engineering
DISCOUNT - A Distributed and Learning Equational Prover
Journal of Automated Reasoning
Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Using Formal Methods to Construct a Software Component Library
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Identifying modules via concept analysis
ICSM '97 Proceedings of the International Conference on Software Maintenance
Learning Domain Knowledge to Improve Theorem Proving
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Applying concept formation methods to object identification in procedural code
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
An Automated Approach for Supporting Software Reuse via Reverse Engineering
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Classification and retrieval of reusable components using semantic features
KBSE '95 Proceedings of The 10th Knowledge-Based Software Engineering Conference
Context-Aware Browsing of Large Component Repositories
Proceedings of the 16th IEEE international conference on Automated software engineering
Ranking Significance of Software Components Based on Use Relations
IEEE Transactions on Software Engineering
Shortening retrieval sequences in browsing-based component retrieval using information entropy
Journal of Systems and Software
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Vector space based on hierarchical weighting: a component ranking approach to component retrieval
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Hi-index | 0.00 |
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any deduction into an off-line indexing phase. In this paper, we show how match relations are used to build an appropriate index and how formal concept analysis is used to build a suitable navigation structure. This structure has the single-focus property (i.e., any sensible subset of a library is represented by a single node) and supports attribute-based (via explicit component properties) and object-based (via implicit component similarities) navigation styles. It thus combines the exact semantics of formal methods with the interactive navigation possibilities of informal methods. Experiments show that current theorem provers can solve enough of the emerging proof problems to make browsing feasible. The navigation structure also indicates situations where additional abstractions are required to build a better index and thus helps to understand and to re-engineer component libraries.