Signature and specification matching

Specification matching of software components

ACM Transactions on Software Engineering and Methodology (TOSEM)

Respectful Type Converters

IEEE Transactions on Software Engineering

Efficient Specification-Based Component Retrieval

Automated Software Engineering

A Component-Based Systems Development Approach

Journal of Integrated Design & Process Science

Empirical Research Similarity Metrics For Software Component Interfaces

Journal of Integrated Design & Process Science

A Formal Approach to Service Specification and Matching based on Graph Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)

Functional description of geoprocessing services as conjunctive datalog queries

Geoinformatica