Defining and Applying Measures of Distance Between Specifications

Echoing Louis Pasteur's quote, 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. The authors present a mathematical basis for measuring distances between specifications and show how their measures of distance can be used to address concrete problems that arise in the practice of software engineering.

[1]  Martin Doerr,et al.  Repositories for Software Reuse: The Software Information Base , 1993, Information System Development Process.

[2]  Jon Whittle,et al.  An integration of deductive retrieval into deductive synthesis , 1999, 14th IEEE International Conference on Automated Software Engineering.

[3]  Jeannette M. Wing,et al.  Signature matching: a tool for using software libraries , 1995, TSEM.

[4]  Peter H. Feiler,et al.  Tool Integration and Environment Architectures , 1991 .

[5]  Victor R. Basili,et al.  Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[6]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[7]  David Levitt,et al.  Calibration of a COTS Integration Cost Model Using Local Project Data , 1997 .

[8]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[9]  Panos Constantopoulos,et al.  Similarity for Analogical Software Reuse: A Conceptual Modelling Approach , 1993, CAiSE.

[10]  Barry W. Boehm,et al.  Cost models for future software life cycle processes: COCOMO 2.0 , 1995, Ann. Softw. Eng..

[11]  Mark R. Vigder,et al.  An architectural approach to building systems from COTS software components , 1997, CASCON.

[12]  Steven S. Popovich,et al.  Inquire: predicate-based use and reuse , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.

[13]  H. M. SNEED,et al.  Economics of software re-engineering , 1991, J. Softw. Maintenance Res. Pract..

[14]  Carroll Morgan,et al.  Programming from specifications (2nd ed.) , 1994 .

[15]  Panos Constantopoulos,et al.  Measuring similarity between software artifacts , 1994, SEKE.

[16]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[17]  Chris F. Kemerer,et al.  An empirical validation of software cost estimation models , 1987, CACM.

[18]  C. L Liu,et al.  Elements of discrete mathematics (McGraw-Hill computer science series) , 1977 .

[19]  James A. Hendler,et al.  Computing similarity in a reuse library system: an AI-based approach , 1992, TSEM.

[20]  Ian Sommerville,et al.  An information retrieval system for software components , 1988, SIGF.

[21]  F KemererChris.  An empirical validation of software cost estimation models , 1987 .

[22]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[23]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[24]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[25]  Magne Jørgensen,et al.  Experience With the Accuracy of Software Maintenance Task Effort Prediction Models , 1995, IEEE Trans. Software Eng..

[26]  Peter H. Feiler,et al.  Understanding integration in a software development environment , 1992, Proceedings of the Second International Conference on Systems Integration.

[27]  Anneliese Amschler Andrews,et al.  On the role of hypotheses during opportunistic understanding while porting large scale code , 1996, WPC '96. 4th Workshop on Program Comprehension.

[28]  Ronald E. Prather,et al.  Elements of discrete mathematics , 1986 .

[29]  Jyrki Kontio,et al.  A COTS Selection Method and Experiences of Its Use , 1995 .

[30]  Giuseppe Visaggio,et al.  Effort estimation for program comprehension , 1996, WPC '96. 4th Workshop on Program Comprehension.

[31]  W. Morven Gentleman.  Effective Use of COTS (Commercial-Off-the-Shelf) Software Components in Long Lived Systems , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[32]  Premkumar T. Devanbu,et al.  LaSSIE: a knowledge-based software information system , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[33]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[34]  Betty H. C. Cheng,et al.  A formal approach to reusing more general components , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.

[35]  G. Fox,et al.  A software development process for COTS-based information system infrastructure , 1997, Proceedings Fifth International Symposium on Assessment of Software Tools and Technologies.

[36]  Mikael Rittri,et al.  Using types as search keys in function libraries , 1989, Journal of Functional Programming.

[37]  Roland Mittermeir,et al.  Storing and retrieving software components: a refinement based system , 1994, ICSE '94.

[38]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

[39]  Emil Sekerinski.  A Calculus for Predicative Programming , 1992, MPC.

[40]  R. Prieto-Diaz,et al.  Classification of reusable modules , 1989 .

[41]  Bruce Weide,et al.  Component-based software using RESOLVE , 1994, SOEN.

[42]  Victor R. Basili,et al.  The Package-Based Development Process in the Flight Dynamics Division , 1997 .

[43]  Bertrand Ibrahim,et al.  Automatic indexing of software artifacts , 1994, Proceedings of 1994 3rd International Conference on Software Reuse.

[44]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[45]  Roland Mittermeir,et al.  A survey of software reuse libraries , 1998, Ann. Softw. Eng..

[46]  Jules Desharnais,et al.  Embedding a demonic semilattice in a relation algebra , 1995 .

[47]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[48]  Larry Wos,et al.  Automated reasoning (2nd ed.): introduction and applications , 1992 .

[49]  Andy Podgurski,et al.  Retrieving reusable software by sampling behavior , 1993, TSEM.

[50]  Ali Mili,et al.  Lattice Based Distances , 2000, RelMiCS.

[51]  Bertrand Ibrahim,et al.  A similarity measure for retrieving software artifacts , 1994, SEKE.

[52]  David J. Carney,et al.  A basis for evaluation of commercial software , 1998, Inf. Softw. Technol..

[53]  Hanscom Afb.  COTS Software Integration Cost Modeling Study , 1997 .

[54]  Jules Desharnais,et al.  A Relation Division Operator: The Conjugate Kernel , 1993, Theor. Comput. Sci..

[55]  Ernesto Damiani,et al.  Retrieval of Reusable Components using Functional Similarity , 1996 .

[56]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .