Common LISP: the language
PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The Minnowbrook workshop on software reuse: a summary report
Software reuse: emerging technology
The Reuse system: cataloging and retrieval of reusable software
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 definition of Standard ML
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
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Visualizing and querying software structures
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
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
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
GNU EMACS Manual
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
Inference-Based Support for Programming in the Large
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Thoughts on a Larch/ML and a New Application for LP
Proceedings of the first First International Workshop on Larch
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Program generalization for software reuse: from C to C++
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
Support of semantics recovery during code scavenging using repository classification
SSR '99 Proceedings of the 1999 symposium on Software reusability
A model-based approach to simulation composition
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)
Trading and negotiating stream bindings
IFIP/ACM International Conference on Distributed systems platforms
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
A model for compound type changes encountered in schema evolution
ACM Transactions on Database Systems (TODS)
Integrating active information delivery and reuse repository systems
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
Information delivery in support of learning reusable software components on demand
Proceedings of the 7th international conference on Intelligent user interfaces
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Efficient and flexible matching of recursive types
Information and Computation
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Supporting reuse by delivering task-relevant and personalized information
Proceedings of the 24th International Conference on Software Engineering
A survey of software reuse libraries
Annals of Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Type Management: A Key to Software Reuse in Open Distributed Systems
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Retrieving Software Components Using Directed Replaceability Distance
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
An Empirical User Study of an Active Reuse Repository System
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
A Retrieval Technique for Software Components Using Directed Replaceability Similarity
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Specification-Based Software Construction Framework for Reuse
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Programming with an Intelligent Agent
IEEE Intelligent Systems
Software reuse using formal specification of requirements
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Efficient and Flexible Matching of Recursive Types
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A New Class Generation Mechanism by Method Integration
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Context-Aware Browsing of Large Component Repositories
Proceedings of the 16th IEEE international conference on Automated software engineering
An inexact model matching approach and its applications
Journal of Systems and Software
HydroJ: object-oriented pattern matching for evolvable distributed systems
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Extending Matchmaking to Maximize Capability Reuse
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A research on open CNC system based on architecture/component software reuse technology
Computers in Industry
Reuse-Conducive Development Environments
Automated Software Engineering
Component retrieval using conversational case-based reasoning
Intelligent information processing II
Shortening retrieval sequences in browsing-based component retrieval using information entropy
Journal of Systems and Software
XSnippet: mining For sample code
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A Methodological Approach to Choose Components in Development and Evolution Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximate Structural Context Matching: An Approach to Recommend Relevant Examples
IEEE Transactions on Software Engineering
Content-Based Framework For Component Libraries
Journal of Integrated Design & Process Science
VsLattice: A vector-based conceptual index structure for web service retrieval
Information Systems Frontiers
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Journal of Systems and Software
Knowledge reuse for software reuse
Web Intelligence and Agent Systems
A Trustable Brokerage Solution for Component and Service Markets
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
A Flexible and Semantic-Aware Publication Infrastructure for Web Services
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Journal of Systems and Software
Towards a Systematic Method for Identifying Business Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A Component Selection Framework for COTS Libraries
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Automated Software Engineering
Refining component description by leveraging user query logs
Journal of Systems and Software
Automatically capturing source code context of NL-queries for software maintenance and reuse
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An weighted ontology-based semantic similarity algorithm for web service
Expert Systems with Applications: An International Journal
The Managed Adapter Pattern: Facilitating Glue Code Generation for Component Reuse
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Discovering web services based on probabilistic latent factor model
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
A two-stage framework for UML specification matching
Information and Software Technology
An extended planning mechanism to increase web service utilization
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Managing dynamic repositories for digital content components
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
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
Using the web as a reuse repository
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
A component-oriented substitution model
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A framework for semantic discovery of web services
iUBICOM'10 Proceedings of the 5th international conference on Ubiquitous and Collaborative Computing
Type-directed completion of partial expressions
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Hi-index | 0.00 |
Signature matching is a method for organizing, navigating through, and retrieving from software libraries. We consider two kinds of software library components—functions and modules—and hence two kinds of matching—function matching and module matching. The signature of a function is simply its type; the signature of a module is a multiset of user-defined types and a multiset of function signatures. For both functions and modules, we consider not just exact match but also various flavors of relaxed match. We describe various applications of signature matching as a tool for using software libraries, inspired by the use of our implementation of a function signature matcher written in Standard ML.