Storing and retrieving software components: a refinement based system
IEEE Transactions on Software EngineeringPublished 1 July 1997
R. Mili, A. Mili, Roland T. Mittermeir
Citations144
SJR quartileQ1
SJR score1.45
SNIP2.43
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The design and implementation of a storage and retrieval structure for software components that is based on formal specifications and on the refinement ordering between specifications are discussed.
Abstract
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it becomes increasingly difficult to maintain adequate precision and recall with informal retrieval algorithms. In this paper, we discuss the design and implementation of a storage and retrieval structure for software components that is based on formal specifications and on the refinement ordering between specifications.
Keywords
Computer Science
Design Patterns: Elements of Reusable Object-Oriented Software
21,864 Citations1994Erich Gamma, Richard F. Helm +2 more
The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns, which most experienced OOP designers will find out they've known about patterns all along.
Foundations of database design/Foundations of database design seriesIntroduction to Database Systems
3,542 Citations2006
Readers of this book will gain a strong working knowledge of the overall structure, concepts, and objectives of database systems and will become familiar with the theoretical principles underlying the construction of such systems.
ACM Computing SurveysSoftware reuse
1,426 Citations1992Charles W. Krueger
This paper surveys the different approaches to software reuse found in the research literature and uses a taxonomy to describe and compare the different approach and make generalizations about the field of software reuse.
Addison-Wesley Longman Publishing Co., Inc. eBooksAnalysis patterns: reusable objects models
1,073 Citations1996Martin Fowler
IEEE SoftwareClassifying Software for Reusability
693 Citations1987Rubén Prieto-Díaz, Peter Freeman
The faceted scheme described here is a partial solution to the classification and retrieval problem of software component reuse.
IEEE Transactions on Software EngineeringReusing software: issues and research directions
557 Citations1995Hafedh Mili, Fatma Mili +1 more
The implications of reuse on the production are discussed, with an emphasis on the technical challenges, and proposed models for their economic analysis are discussed.
ACM Transactions on Software Engineering and MethodologySpecification matching of software components
519 Citations1997Amy Moormann Zaremski, Jeannette M. Wing
This work uses formal specifications to describe the behavior of software components and, hence, to determine whether two components match, and gives precise definitions of not just exact match, but, more relevantly, various flavors of relaxed match.
Communications of the ACMImplementing faceted classification for software reuse
513 Citations1991Rubén Prieto-Díaz
The experience described indicates that reuse library technology is available and transferable, and that it definitely has a positive financial impact on the organization implementing it.
IEEE Transactions on Software EngineeringAn information retrieval approach for automatically constructing software libraries
445 Citations1991Yoelle Maarek, Daniel M. Berry +1 more
A technology for automatically assembling large software libraries which promote software reuse by helping the user locate the components closest to her/his needs is described.
Communications of the ACMLaSSIE
341 Citations1991Prémkumar Dévanbu, Ron Brachman +2 more
This paper has built a system called LaSSIE, which uses knowledge representation and reasoning technology to directly address each of these three issues of invisibility and thereby help with the invisibility problem.
ACM Transactions on Software Engineering and MethodologySignature matching
296 Citations1995Amy Moormann Zaremski, Jeannette M. Wing
This work describes various applications of signature matching as a tool for using software libraries, inspired by the use of the implementation of a function signature matcher written in Standard ML.
IEEE SoftwareThe Larch Family of Specification Languages
278 Citations1985John V. Guttag, J. J. Horning +1 more
IEEE SoftwareStatus report: software reusability
244 Citations1993Rubén Prieto-Díaz
The history of reuse, which is characterized by this struggle to formalize in a setting where pragmatic problems are the norm and fast informal solutions usually take precedence, is reviewed.
IEEE Transactions on Software EngineeringAn empirical study of representation methods for reusable software components
236 Citations1994William B. Frakes, Thomas Pole
An empirical study of methods for representing reusable software components using four different representation methods: attribute-value, enumerated, faceted, and keyword using Proteus, a reuse library system that supports multiple representation methods.
Medical Entomology and ZoologyThe Essential CORBA: Systems Integration Using Distributed Objects
235 Citations1995Thomas J. Mowbray, Ron Zahavi
The DISCUS Framework Object Wrapper Techniques Systems Integration Guidance Acronyms and Framework Examples In-Depth Example.
ACM Transactions on Software Engineering and MethodologyComputing similarity in a reuse library system
182 Citations1992Eduardo Jenkins Ostertag, James Hendler +2 more
An AI based library system for software reuse, called AIRS, that allows a developer to browse a software library in search of components that best meet some stated requirement, and a formalization of the concepts on which the AIRS system is based.
The inscape environment
145 Citations1989Dewayne E. Perry
The problems that Inscapo addresses, the research strategies and approaches to solving these problems, and the contributions of the Inscape Environment are discussed.
Specification matching of software components
127 Citations1995Amy Moormann Zaremski, Jeannette M. Wing
This work uses formal specifications to describe the behavior of software components, and hence, to determine whether two components match, and relies on theorem proving to determine match and mismatch.
ACM Transactions on Software Engineering and MethodologyRetrieving reusable software by sampling behavior
120 Citations1993Andy Podgurski, Lynn Pierce
The probabilistic basis for behavior sampling is described, and experimental results are reported that suggest that basic behavior sampling exhibits high precision when used with small samples.
ACM SIGSOFT Software Engineering NotesComponent-based software using RESOLVE
120 Citations1994Marulli Sitariman, Bruce W. Weide
Lecture notes in computer scienceIntegrating Independently-Developed Components in Object-Oriented Languages
113 Citations2007Urs Hölzle
This work discusses several reuse mechanisms that can adapt a component in place without requiring access to the component's source code and without needing to re-typecheck it.
ACM SIGSOFT Software Engineering NotesSoftware reuse myths
106 Citations1988Will Tracz
This paper analyzes nine commonly believed software reuse myths and reveals certain technical, organizational, and psychological software engineering research issues and trends.
ACM SIGSOFT Software Engineering NotesSignature matching
90 Citations1993Amy Moormann Zaremski, Jeannette M. Wing
Classification of reusable modules
90 Citations1989Rubén Prieto-Díaz
Specification matching for software reuse
84 Citations1995Jun-Jang Jeng, Betty H. C. Cheng
This work presents specification matching as a method for classification, retrieval, and modification of reusable components as well as relaxed match and logical match for peforming specification matching over a library of reusable software components.
Formal Aspects of ComputingOn the lattice of specifications: Applications to a specification methodology
83 Citations1992Noureddine Boudriga, Fathi Elloumi +1 more
The lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification, are investigated.
IEEE Transactions on Software EngineeringRepository evaluation of software reuse
82 Citations1993Rajiv D. Banker, Robert J. Kauffman +1 more
An analysis of the evolving repositories of two large firms that recently implemented integrated CASE development tools shows that these tools have supported high levels of software reuse, but it suggests that there remains considerable unexploited reuse potential.
Advances in computersReusable Software Components
77 Citations1991Bruce W. Weide, William F. Ogden +1 more
Methods and apparatus, including computer program products, implement techniques for structuring applications into reusable components that encapsulate functionality, where multiple instances of the component are reusable at the same time.
Specifications as Search Keys for Software Libraries.
65 Citations1991Eugene J. Rollins, Jeannette M. Wing
This paper describes one instance of the more general idea of specification, which involves searching through software libraries using specificationmatching, and assumes a specification, si, is associated with each component in a software library of i components.
The Inscape Environment
59 Citations2005Dewayne E. Perry
Automated Software EngineeringEfficient Specification-Based Component Retrieval
56 Citations1999John Penix, Perry Alexander
This paper presents a mechanism for making specification-based component retrieval more efficient by limiting the amount of theorem proving required at query time by using a classification scheme to reduce the number of specification matching proofs that are required to process a query.
eScholarship (California Digital Library)A software classification scheme
54 Citations1985Rubén Prieto Díaz
A formal treatment of a faceted scheme for software classification leading to better understanding of reusability at the code level and this approach has been prototyped in a library system for the semi-automatic classification of software components.
Lecture notes in computer scienceRetrieving library identifiers via equational matching of types
54 Citations1990Mikael Rittri
This paper describes a method to do both, that is, an algorithm for pattern matching modulo canonical CCC-isomorphism and an implementation shows that satisfactory speed can be achieved for library search.
Retrieving re-usable software components by polymorphic type
51 Citations1989Colin Runciman, Ian Toyn
The applicative instance relation between types, which captures some intuitions about generalization/specialization is then introduced, and its use as the basis of a more flexible system is discussed.
Signature matching
51 Citations1993Amy Moormann Zaremski, Jeannette M. Wing
This work presents signature matching as a method for achieving software reuse by using signature information easily derived from the component, and briefly describes an experimental facility written in Standard ML for performing signature matching over a library of ML functions.
Applied logic seriesDeduction-Based Software Component Retrieval
40 Citations1998Bernd Fischer, Johann Schumann +1 more
Reuse of approved components and concepts in software engineering is a major characteristic of mature engineering disciplines but despite ongoing interest and research it is by no means an established practice.
Using types as search keys in function libraries
39 Citations1989Mikael Rittri
Storing and retrieving software components: a refinement based system
39 Citations2002A. Mili, R. Mili +1 more
This paper presents the design and implementation of an automated software repository, where software components can be automatically stored and retrieved, based on a formal representation of programs and their specifications, as well as a refinement ordering of these specifications.
On the retrieval of reusable software components
35 Citations2002P. Chen, Rolf Hennicker +1 more
The authors suggest a model for the retrieval of reusable components utilizing the search techniques in database management systems using ASL and Telos to overcome some of the main problems with respect to retrieval.
Inquire: predicate-based use and reuse
34 Citations2002D. Perry, Steven S. Popovich
The purpose of Inquire, the browser and predicate-based search mechanism, is to aid both the environment and the user in the search for the components that will provide the desired predicates that are required to build and evolve an implementation correctly.
The use of lexical affinities in requirements extraction
30 Citations1989Yoelle Maarek, Daniel M. Berry
It is hoped that a lexical athnities tinding tool can be used as part of an environment to help organize the sentences and phrases of a natural language problem description to aid the requirements analyst in the extraction of requirements.
Behavior sampling
30 Citations1992Andy Podgurski, Lynn Pierce
The probabilistic basis for behavior sampling is described, and experimental results are reported that suggest basic behavior-sampling exhibits high precision (percentage of retrieved components that are relevant) and extensions are proposed to improve its recall and to make behavior sampling applicable to the retrieval of abstract data types.
Lecture notes in computer scienceA theory of software reusability
27 Citations1988Marie-Claude Gaudel, Th. Moineau
A definition for software reusability based on algebraic specifications and modularity is suggested, which provides a guideline to find out reusable software components and prove their reuse.
ACM SIGSOFT Software Engineering NotesSpecification matching of software components
25 Citations1995Amy Moormann Zaremski, Jeannette M. Wing
Retrieval of reusable components in a development information system
25 Citations2002Mariagrazia Fugini, S. FÄUSTLE
A query facility for accomplishing reusable class retrieval from a software information base based on similarity queries is described, which uses dynamic relationships about the conceptual closeness of available components to retrieve components that best match the requirements of the application under development.
A formal approach to reusing more general components
25 Citations2002Jun-Jang Jeng, Betty H. C. Cheng
This paper presents an approach, based on formal methods, to the modification of reusable software components from a two-tiered hierarchy of reusableSoftware components.
Type isomorphisms in a type-assignment framework
25 Citations1992Robero Di Cosmo
This paper contains a full treatment of isomorphic types for languages equipped with an ML style polymorphic type inference mechanism and suggests a natural extension that in a sense completes the type-inference mechanism in ML.
Journal of Functional ProgrammingDeciding type isomorphisms in a type-assignment framework
21 Citations1993Roberto Di Cosmo
This work provides a formal treatment of isomorphic types for languages equipped with an ML style polymorphic type inference mechanism and introduces a better type-inference algorithm that behaves well in the presence of non-functional primitives like references and exceptions.
ACM SIGIR ForumProteus: a software reuse library system
21 Citations1990William B. Frakes, Thomas Pole
Proteus is an experimental reuse library system that will be used to help gather data about the relative costs and effectiveness of various methods for representing software components for reuse.
IEEE Transactions on Software EngineeringSemi-automatic program construction from specifications using library modules
19 Citations1991Fujio Nishida, Shinobu Takamatsu +2 more
A refinement system, called MAPS (module-aided program construction system) searches for library modules applicable to the given specification, replaces the specification with a more detailed description written in the operation part of the modules, and converts the refined specification into a program written in a programming language designated by the user.
International Conference on Software EngineeringBehavior sampling: a technique for automated retrieval of reusable components
15 Citations1992A. Podgurski, Leslie Pierce
A software classification scheme (reusability, libraries, development)
14 Citations1985Rubén Prieto-Díaz
A formal treatment of a faceted scheme for software classification leading to better understanding of reusability at the code level is presented and the results show the potential of the scheme in organizing collections of code fragments, in improving retrieval, and in simplifying the classification process.
International Journal of Software Engineering and Knowledge EngineeringPERFORMANCE-PARAMETERIZED REUSABLE SOFTWARE COMPONENTS
10 Citations1992Murali Sitaraman
A key element of the proposed approach is that it provides inexpensive performance tuning, which permits performance of a tunable component to be changed without modifications to the functionality of the component or its clients.
CERN Document Server (European Organization for Nuclear Research)Java Beans for Real Programmers
5 Citations1998Peter Wayner
This tutorial jumps right in to the power of beans without dragging you through the history of the bean.
An automated tool for specification validation: design and preliminary implementation
5 Citations1992N. Boudriga, A. Mili +1 more
The authors have designed a lifecycle of the requirements specification phase, whose purpose is to help achieve completeness and minimality by the proper use of redundancy, and present an automated system that carries out the proofs of completion and minimalities using Prolog's inference capability.
Journal of Systems IntegrationLayered specifications to support reusability and integrability
5 Citations1993Roland T. Mittermeir, E. Kofler
It is shown, how relational specifications will help system designers not to bind themselves too early into premature decisions and how designs aiming for heavy reuse can grow by stepwise enriching specifications.
Conference of the Centre for Advanced Studies on Collaborative ResearchObject oriented programming: looking ahead to the year 2000
2 Citations1991Richard C. Holt, Terry Stanhope +1 more
This paper examines the strategic importance of object oriented programming, looking ahead to the year 2000, and surveys the coming impact of the more general area of objectoriented computing, which includes analysis, design, databases, libraries, tools, standards, graphical user interfaces, and environments.