Journal of the ACM (JACM)
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
Specifying reusable components using Z: realistic sets and dictionaries
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
Identifying and Qualifying Reusable Software Components
Computer - Special issue on cryptography
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, 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
Semantics of order-sorted specifications
Theoretical Computer Science
ACM Computing Surveys (CSUR)
An order-sorted logic for knowledge representation systems
Artificial Intelligence
Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Deduction Systems in Artificial Intelligence
Deduction Systems in Artificial Intelligence
Using Formal Methods to Construct a Software Component Library
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
Reusing single system requirements from application family requirements
Proceedings of the 21st international conference on Software engineering
An approach to designing reusable service frameworks via virtual service machine
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A survey of software reuse libraries
Annals of Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Service Representation, Discovery, and Composition for E-marketplaces
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Software reuse using formal specification of requirements
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions 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
XSnippet: mining For sample code
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Semi-Automated Component-Based Development of Formally Verified Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automated Software Engineering
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Mobile software agents for location-based systems
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Finding a needle in the haystack: a technique for ranking matches between components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Adaptive techniques for specification matching in embedded systems: a comparative study
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |
Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. We present specification matching as a method for classification, retrieval, and modification of reusable components. A software component is specified in terms of order-sorted predicate logic. For both components and methods, we consider not only exact match, but also relaxed match and logical match for peforming specification matching over a library of reusable software components.