Ian M. Holland  Home/Search
Context Related
| neu.edu/pub/resear...nentsContracts.ps neu.edu/pub/resear...tsContracts.ps.gz 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: neu.edu (more) From: neu.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contracts were introduced by Helm et al. as a high level construct for explicitly specifying interactions among groups of objects. This paper describes further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract refinement and how they are reused through Contract conformance. The example algorithm used throughout... (Update)
Cited by: More
Towards Preserving Correctness in Self-Managed.. - Desmet, Janssens.. (2004) (Correct)
Towards Preserving Correctness - In Self-Managed Software (Correct)
Toward GRIDLE: A Way to Build Grid Applications.. - Puppin.. (Correct)
Active bibliography (related documents): More All
1.8: Contracts in Context - Te Xt (Correct)
0.5: Class Management for Software Communities - Gibbs, Tsichritzis, Casais.. (1990) (Correct)
0.3: Integrating Independently-Developed Components in Object-Oriented .. - Hölzle (1993) (Correct)
Similar documents based on text: More All
0.1: The Programmer's Apprentice Project: A Research Overview - Rich, Waters (1987) (Correct)
0.0: User's Guide to the Demeter System / C++ - Hürsch (1992) (Correct)
0.0: Evolution of Object Behavior using Context Relations - Seiter, Palsberg, Lieberherr (1996) (Correct)
Related documents from co-citation: More All
37: Contracts: Specifying behavioral compositions in object-oriented systems (context) - Helm, Holland et al. - 1990
30: Design Patterns: Elements of Reusable ObjectOriented Software (context) - Gamma, Helm et al. - 1995
20: Designing reusable classes (context) - Johnson, Foote - 1988
BibTeX entry: (Update)
I.M. Holland. Specifying reusable components using Contracts. In O. Lehrmann Madsen, editor, Proc. of the European Conference of Object Oriented Programming (ECOOP'92), LNCS 615, pages 287--308. Springer Verlag, 1992. http://citeseer.ist.psu.edu/holland92specifying.html More
@inproceedings{ holland92specifying,
author = "Ian M. Holland",
title = "Specifying reusable components using Contracts",
booktitle = "Proceedings of the 6th European Conference on Object-Oriented Programming ({ECOOP})",
volume = "615",
publisher = "Springer-Verlag",
address = "Berlin, Heidelberg, New York, Tokyo",
editor = "Ole Lehrmann Madsen",
isbn = "3-540-55668-0",
pages = "287--308",
year = "1992",
url = "citeseer.ist.psu.edu/holland92specifying.html" }
Citations (may not include all citations):469 Object-Oriented Design With Applications (context) - Booch - 1991
308 Designing reusable classes (context) - Johnson, Foote - 1988
190 Contracts: Specifying Behavioral Compositions in Object-Orie.. (context) - Helm, Holland et al. - 1990
66 A laboratory for teaching object oriented thinking (context) - Beck, Cunningham - 1989
59 Module interconnection languages (context) - Prieto-Diaz, Neighbors - 1986
31 PARIS: A System for Reusing Partially Interpreted Schemas (context) - Katz, Richter et al. - 1987
25 Extending Objects to Support Multiple Interfaces and Access .. (context) - Hailpern, Ossher - 1990
23 Object-oriented programming with class dictionaries (context) - Lieberherr - 1988
23 Object-oriented design: A responsibility-driven approach (context) - Wirfs-Brock, Wilkerson - 1989
21 Type substitution for object-oriented programming - Palsberg, Schwartzbach - 1989
20 Reusability in Programming: A Survey of the State of the Art (context) - Jones - 1984
19 Tools for the new culture: Lessons from the design of the Ei.. - Meyer - 1990
14 A survey of current research in object-oriented design (context) - Wirfs-Brock, Johnson - 1990
11 When objects collide: Experiences with reusing multiple clas.. (context) - Berlin - 1990
9 Implementation Reflection in Silica (context) - Rao - 1991
9 Specifying Object Life-Cycles - Arapis - 1990
9 Initial report on a Lisp programmer's apprentice (context) - Rich, Shrobe - 1984
8 MELDing Data Flow and Object-Oriented Programming (context) - Kaiser, Garlan - 1987
5 Models of reuse in software engineering (context) - Krueger - 1989
4 Class Design and Meta-Design (context) - Pernici - 1990
4 Reusability in the Smalltalk-80 Programming System (context) - Deutsch - 1983
4 The Effect of Data Abstraction on Loop Programming Technique.. (context) - Bishop - 1990
3 The Programmers Apprentice (context) - Rich, Waters - 1990
3 Description Complex Object Oriented SystemVersion (context) - Nordhagen, of et al. - 1989
2 Composing User Interfaces using InterViews (context) - Linton, Vlissides et al. - 1989
1 assesment and directions (context) - Biggerstaff, Richter - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ccs.neu.edu.html): More
Incremental Testing of Adaptive Software - Keszenheimer, Lieberherr (1994) (Correct)
Experience with a Graph-Based Propagation Programming.. - Lieberherr, Hürsch.. (1992) (Correct)
Understanding Diagrams in Technical Documents - Futrelle, Kakadiaris.. (1992) (Correct)
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