Storing and retrieving software components: a refinement based system

Software reuse poses a number of challenges, ranging from managerial to technical - not least of these is the problem of storing and retrieving software components in a time efficient manner. This paper presents the design and implementation of an automated software repository, where software components can be automatically stored and retrieved. This repository is based on a formal representation of programs and their specifications, as well as a refinement ordering of these specifications.<<ETX>>

[1]  Jeannette M. Wing,et al.  Signature matching: a key to reuse , 1993, SIGSOFT '93.

[2]  Richard C. Holt,et al.  Object oriented programming: looking ahead to the year 2000 , 1991, CASCON.

[3]  Roland Mittermeir,et al.  Semantic-Based Software Retrieval to Support Rapid Prototyping , 1992, Struct. Program..

[4]  B. Cheng,et al.  Specification matching for software reuse: a foundation , 1995, SSR '95.

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

[6]  William B. Frakes,et al.  An Empirical Study of Representation Methods for Reusable Software Components , 1994, IEEE Trans. Software Eng..

[7]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[8]  A. Mili,et al.  An automated tool for specification validation: design and preliminary implementation , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

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

[10]  Colin Runciman,et al.  Retrieving re-usable software components by polymorphic type , 1989, Journal of Functional Programming.

[11]  Y. S. Maarek,et al.  The use of lexical affinities in requirements extraction , 1989, IWSSD '89.

[12]  Roland Mittermeir,et al.  Layered specifications to support reusability and integrability , 1992, J. Syst. Integr..

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

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

[15]  James J. Horning,et al.  The Larch Family of Specification Languages , 1985, IEEE Software.

[16]  William B. Frakes,et al.  Proteus: a software reuse library system , 1990, SIGF.

[17]  Mikael Rittri,et al.  Retrieving Library Identifiers via Equational Matching of Types , 1990, CADE.

[18]  Tadaaki Tani,et al.  Semi-Automatic Program Construction From Specifications Using Library Modules , 1991, IEEE Trans. Software Eng..

[19]  William B. Frakes,et al.  An information system for software reuse , 1988 .

[20]  Peter Freeman,et al.  Classifying Software for Reusability , 1987, IEEE Software.

[21]  Gail E. Kaiser,et al.  An Information Retrieval Approach For Automatically Constructing Software Libraries , 1991, IEEE Trans. Software Eng..

[22]  Jeannette M. Wing,et al.  Specifications as Search Keys for Software Libraries , 1991, ICLP.

[23]  Marie-Claude Gaudel,et al.  A Theory of Software Reusability , 1988, ESOP.

[24]  W. W. Agresti,et al.  The Minnowbrook workshop on software reuse: a summary report , 1988 .

[25]  Maria Grazia Fugini,et al.  Retrieval of reusable components in a development information system , 1993, [1993] Proceedings Advances in Software Reuse.

[26]  Robert J. Kauffman,et al.  Repository Evaluation of Software Reuse , 1993, IEEE Trans. Software Eng..

[27]  Charles Richter,et al.  PARIS: a system for reusing partially interpreted schemas , 1987, ICSE '87.

[28]  Murali Sitaraman.  Performance-Parameterized Reusable Software Components , 1992, Int. J. Softw. Eng. Knowl. Eng..

[29]  Roberto Di Cosmo,et al.  Type isomorphisms in a type-assignment framework , 1992, POPL '92.

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

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

[32]  Rubén Prieto-Díaz.  Implementing faceted classification for software reuse , 1991, CACM.

[33]  Rubén Prieto Díaz,et al.  A software classification scheme , 1985 .

[34]  Stuart H. Zweben,et al.  Reusable Software Components , 1991, Adv. Comput..

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

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

[37]  Dewayne E. Perry.  The inscape environment , 1989, ICSE '89.

[38]  Rubén Prieto-Díaz,et al.  Status report: software reusability , 1993, IEEE Software.

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

[40]  Matthias Jarke,et al.  On the retrieval of reusable software components , 1993, [1993] Proceedings Advances in Software Reuse.

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

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

[43]  Will Tracz,et al.  Software reuse myths , 1988, SOEN.