An empirical validation of software cost estimation models
Communications of the ACM
Communications of the ACM
An information retrieval system for software components
ACM SIGIR Forum
Classification of reusable modules
Software reusability: vol. 1, concepts and models
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A relational division operator: the conjugate kernel
Theoretical Computer Science
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Embedding a demonic semilattice in a relation algebra
Theoretical Computer Science
Retrieval of reusable components using functional similarity
Software—Practice & Experience
Characterizing and modeling the cost of rework in a library of reusable software components
ICSE '97 Proceedings of the 19th international conference on Software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
Relational methods in computer science
Relational methods in computer science
The Science of Programming
Software Engineering Economics
Software Engineering Economics
A Discipline of Programming
A survey of software reuse libraries
Annals of Software Engineering
Experience With the Accuracy of Software Maintenance Task Effort Prediction Models
IEEE Transactions on Software Engineering
Similarity for Analogical Software Reuse: A Conceptual Modelling Approach
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Repositories for Software Reuse: The Software Information Base
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
A Calculus for Predicative Programming
Proceedings of the Second International Conference on Mathematics of Program Construction
An Integration of Deductive Retrieval into Deductive Synthesis
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Effort Estimation for Program Comprehension
WPC '96 Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)
On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code
WPC '96 Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)
Elements of discrete mathematics (McGraw-Hill computer science series)
Elements of discrete mathematics (McGraw-Hill computer science series)
Improving Software Quality in Product Families through Systematic Reengineering
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Missing requirements and relationship discovery through proxy viewpoints model
Proceedings of the 2004 ACM symposium on Applied computing
Towards a knowledge-based framework for COTS component identification
MPEC '05 Proceedings of the second international workshop on Models and processes for the evaluation of off-the-shelf components
Early detection of COTS component functional suitability
Information and Software Technology
Refining component description by leveraging user query logs
Journal of Systems and Software
A Comparison of Web Service Interface Similarity Measures
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A two-stage framework for UML specification matching
Information and Software Technology
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
Filtering COTS components through an improvement-based process
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
| Hi-index | 0.01 |
Echoing Louis Pasteur's quote,1 we submit the premise that it is advantageous to define measures of distance between requirements specifications because such measures open up a wide range of possibilities both in theory and in practice. In this paper, we present a mathematical basis for measuring distances between specifications and show how our measures of distance can be used to address concrete problems that arise in the practice of software engineering.