GAMS: a framework for the management of scientific software
ACM Transactions on Mathematical Software (TOMS)
IEEE Transactions on Software Engineering
Support for Reusability in Genesis
IEEE Transactions on Software Engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
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)
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
EXPOSE: an animation tool for process-oriented specifications
Software Engineering Journal
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evolution and Reuse of Orthogonal Architecture
IEEE Transactions on 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
Inheritance rules for flexible model retrieval
Decision Support Systems
A problem-oriented and rule-based component repository
Journal of Systems and Software
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Repository Evaluation of Software Reuse
IEEE Transactions on Software Engineering
Reusability of Mathematical Software: A Contribution
IEEE Transactions on Software Engineering
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
Certification of Software Components
IEEE Transactions on Software Engineering
The design and evaluation of path matching schemes on compressed control flow traces
Journal of Systems and Software
Easy web service discovery: A query-by-example approach
Science of Computer Programming
MUSEMBLE: A novel music retrieval system with automatic voice query transcription and reformulation
Journal of Systems and Software
FMF: Query adaptive melody retrieval system
Journal of Systems and Software
Dynamic neural networks applied to melody retrieval
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
A new methodology for music retrieval based on dynamic neural networks
International Journal of Hybrid Intelligent Systems
Hi-index | 0.00 |
Matching between two model specifications is the key step of the repository-based model reuse. From the approximate specification point of view, this paper presents a quantified inexact matching theory for flexible model retrieval from large-scale model repositories. The theory specifies a model repository as two levels: a model level based on a multi-valued model specialization relationship and a fundamental function level based on a function specialization relationship. The matching degree between two models depends on their matching functions. The matching degree between two functions on a function specialization graph depends on the function-distance between them. A set of model specialization rules enables a new matching to be derived from the existing matchings. Embedded in an SQL-like command, the theory has been applied to a large-scale mathematical software model repository system. Users can use the command to retrieve the required models with an inexact query condition. Applications show that the approach is useful and tractable.