An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Software reuse: emerging technology
The Minnowbrook workshop on software reuse: a summary report
Software reuse: emerging technology
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
Classification of reusable modules
Software reusability: vol. 1, concepts and models
ICSE '89 Proceedings of the 11th international conference on Software engineering
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
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
Proteus: a software reuse library system
ACM SIGIR Forum
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Advances in computers
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
Type isomorphisms in a type-assignment framework
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Component-based software using RESOLVE
ACM SIGSOFT Software Engineering Notes
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
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Status Report: Software Reusability
IEEE Software
Repository Evaluation of Software Reuse
IEEE Transactions on Software Engineering
An Empirical Study of Representation Methods for Reusable Software Components
IEEE Transactions on Software Engineering
A Theory of Software Reusability
ESOP '88 Proceedings of the 2nd European Symposium on Programming
A software classification scheme (reusability, libraries, development)
A software classification scheme (reusability, libraries, development)
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
User opinions and rewards in a reuse-based development system
SSR '99 Proceedings of the 1999 symposium on Software reusability
A hierarchy-aware approach to faceted classification of objected-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
Supporting reuse by delivering task-relevant and personalized information
Proceedings of the 24th International Conference on Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software Engineering
A rough: fuzzy approach for retrieval of candidate components for software reuse
Pattern Recognition Letters - Special issue: Rough sets, pattern recognition and data mining
Document Identification by Shallow Semantic Analysis
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Context-Aware Browsing of Large Component Repositories
Proceedings of the 16th IEEE international conference on Automated software engineering
Component-based workflow systems development
Decision Support Systems
An inexact model matching approach and its applications
Journal of Systems and Software
A semantic-based approach to component retrieval
ACM SIGMIS Database
IEEE Transactions on Software Engineering
Design, retrieval, and assembly in component-based software development
Communications of the ACM - Blueprint for the future of high-performance networking
Towards a semantic-based approach for software reusable component classification and retrieval
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Reuse-Conducive Development Environments
Automated Software Engineering
Shortening retrieval sequences in browsing-based component retrieval using information entropy
Journal of Systems and Software
Content-Based Framework For Component Libraries
Journal of Integrated Design & Process Science
Software reuse: The Brazilian industry scenario
Journal of Systems and Software
Knowledge reuse for software reuse
Web Intelligence and Agent Systems
Integrated Computer-Aided Engineering
A tag-based approach for the design and composition of information processing applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A theoretical framework of component-based software development phases
ACM SIGMIS Database
Integration of descriptors for software component retrieval
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Using traits of web macro scripts to predict reuse
Journal of Visual Languages and Computing
Application patterns for computer-based systems design reuse
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Supporting program indexing and querying in source code digital libraries
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Embedded Systems Design
A semantically-based software component selection mechanism for intelligent service robots
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Reuse in semantic applications
Proceedings of the First international conference on Reasoning Web
Local controlled vocabulary for modern web service description
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part I
| Hi-index | 0.00 |
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it becomes increasingly difficult to maintain adequate precision and recall with informal retrieval algorithms. In this paper, we discuss the design and implementation of a storage and retrieval structure for software components that is based on formal specifications and on the refinement ordering between specifications.