Eugene J. Rollins and Jeannette M. Wing School of Computer Science Carnegie...  Home/Search
Context Related
| cmu.edu/project/venari/www/...iclp91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/project/venari/w...iclp91 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes one instance of the more general idea of specification 1 (Update)
Context of citations to this paper: More
...components. The pre and post condition search approach to reuse was first suggested by Katz et al. 34] Perry [45] and Rollins and Wing [46]. A survey of the approach is presented by Mili [38] Systems which automate the search for such components typically use theorem...
...a framework. Most existing approaches for software reuse assume a bottom up component assembly paradigm, for ex ample, see [10, 12, 5, 11, 13]. We believe that such ap proaches would be successful only if the components under consideration are more or less self contained...
Cited by: More
Society for Design and Process Science Printed in the.. - Goals Instruments And (Correct)
A Formal Approach to Component Adaptation and Composition - Hemer (2005) (Correct)
Specification-Based Browsing of Software Component Libraries - Bernd Fischer Abt (1998) (Correct)
Active bibliography (related documents): More All
0.2: The Standard Template Library - Stepanov, Lee (1995) (Correct)
0.2: Measuring Software Reusability - Poulin (1994) (Correct)
0.2: Software Reuse by Specialization of Generic Procedures through.. - Novak, Jr. (1997) (Correct)
Similar documents based on text: More All
0.2: Classified Larch Bibliography - Garland (1993) (Correct)
0.1: Conference Statement - Developments In Modern (1991) (Correct)
0.1: An Autonomous Mobile Robot Architecture Using Belief Networks.. - Mehran Sahami (Correct)
Related documents from co-citation: More All
19: Storing and retrieving software components: A refinement based system (context) - Mili, Mili et al. - 1994
14: An Information Retrieval Approach For Automatically Constructing Software Librar.. (context) - Maarek, Berry et al. - 1991
11: Using types as search keys in function libraries (context) - Rittri - 1991
BibTeX entry: (Update)
E. J. Rollins and J. M. Wing, "Specifications as search keys for software libraries," in Proceedings of the Eighth International Conference on Logic Programming, pp. 173--187, 1991. http://citeseer.ist.psu.edu/434412.html More
@inproceedings{ eugene91specifications,
author = "Rollins, Eugene J. and Wing, Jeannette M.",
title = "Specifications as Search Keys for Software Libraries",
booktitle = "Proceedings of the Eighth International Conference on Logic Programming",
publisher = "The MIT Press",
address = "Paris, France",
editor = "Furukawa, Koichi",
pages = "173--187",
year = "1991",
url = "citeseer.ist.psu.edu/434412.html" }
Citations (may not include all citations):1256 Introduction to Modern Information Retrieval (context) - Salton, McGill - 1983
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
492 Smalltalk 80: The Language and its Implementation (context) - Goldberg, Robson - 1983
303 Hypertext: An introduction and survey (context) - Conklin - 1987
197 Literate programming (context) - Knuth - 1984
124 Guardians and actions: Linguistic support for robust (context) - Liskov, Scheifler - 1983
101 Higher-order logic programming - Miller, Nadathur - 1986
85 PS-Algol: an Algol with a persistent heap (context) - Atkinson, Chisolm et al. - 1982
82 Programming-in-the-large versus programming-in-the-small (context) - DeRemer, Kron - 1976
64 The Larch family of specification languages (context) - Guttag, Horning et al. - 1985
53 Inheritance of synchronization and recovery properties in Av.. (context) - Detlefs, Herlihy et al. - 1988
50 The Specification of Computer Programs (context) - Turski, Maibaum - 1987
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
42 Using types as search keys in function libraries (context) - Rittri - 1989
25 Buzzword': Hierarchical Structure (context) - Parnas - 1974
25 Retrieving re-usable software components by polymorphic type - Runciman, Toyn - 1989
10 SIGPLAN Notices (context) - Matthews - 1985
5 The Ada Generic Library (context) - Musser, Stepanov - 1989
1 See entire issue for related papers (context) - Smith, Weiss et al. - 1988
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC