C. Lewerentz, Th. Lindner, A. Rüping, E. Sekerinski  Home/Search
Context Related
| fzi.de/pub/PROST/paper...korsofzi.ps.Z 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: fzi.de/divisions/prost...overview (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a theory of object-orientation on the basis of the refinement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as refinement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is refined by both classes, and an algorithm to construct a common subclass which refines both classes. As an example, we present an account manager to... (Update)
Context of citations to this paper: More
...subtyping. For a more comprehensive discussion of other work on behavioral subtyping, see [21] Lewerentz and his colleagues [29] use refinement calculus to define simulations on programs that are observations on types. They do not consider aliasing or interference....
...inheritance, and encapsulation [PHM99] Their work is explained further in chapter 7 of this volume. Lewerentz and his colleagues [LLRS95] use refinement calculus for OO modeling based on observations of types. They use coercion on attributes of their language, to relate...
Cited by: More
Concepts of Behavioral Subtyping and a Sketch of their.. - Leavens, Dhara (2000) (Correct)
Preventing Cross-Type Aliasing for More Practical Reasoning - Dhara, Leavens (2001) (Correct)
Active bibliography (related documents): More All
0.4: Metamorphosis: An Integrated Object Oriented Requirements.. - Júnior (1996) (Correct)
0.3: Analysis and Design of Multiagent Systems using.. - Iglesias, Garijo.. (1998) (Correct)
0.3: An Architecture and Methodology for the Design and.. - Capobianchi And (Correct)
Similar documents based on text: More All
0.2: Integrating ASMs into the Software Development Life Cycle - Börger, Mearelli (1997) (Correct)
0.2: Requirements & Specification Exemplars - Feather, Fickas, Finkelstein, van .. (1997) (Correct)
0.1: The Object Management System of STONE - OBST Release.. - Uhl, Theobald.. (1994) (Correct)
Related documents from co-citation: More All
4: Object-oriented software construction (context) - Meyer - 1988
2: A New Definition of the Subtype Relation (context) - Liskov, Wing - 1993
2: Weak behavioral subtyping for types with mutable objects - Dhara, Leavens - 1994
BibTeX entry: (Update)
C. Lewerentz, T. Lindner, A. Ruping, and E. Sekerinski. On object-oriented design and verification. In Broy and Jahnichen [5], pages 92--111. http://citeseer.ist.psu.edu/92737.html More
@incollection{ lewerentz95objectoriented,
author = "C. Lewerentz and Th. Lindner and A. R{\"u}ping and E. Sekerinski",
title = "On Object-Oriented Design and Verification",
booktitle = "{KORSO}: Methods, Languages and Tools for the Construction of Correct Software",
volume = "1009",
publisher = "Springer-Verlag",
address = "New York, N.Y.",
editor = "Manfred Broy and Stefan J{\"a}hnichen",
pages = "92--111",
year = "1995",
url = "citeseer.ist.psu.edu/92737.html" }
Citations (may not include all citations):1286 Object-oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
542 Object-oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson - 1992
293 Programming from Specifications (context) - Morgan - 1990
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1987
88 Inheritance and subtyping in a parallel object-oriented lang.. (context) - America - 1987
81 Design patterns: Abstraction and reuse of object-oriented de.. - Gamma, Helm et al. - 1993
69 Object-oriented Design (context) - Booch - 1991
53 An object-oriented extension to Z (context) - Carrington, Duke et al. - 1990
51 Prentice Hall (context) - Harbison - 1992
46 OOZE: An object-oriented Z environment (context) - Alencar, Goguen - 1991
40 Nondeterministic data types: Models and implementations (context) - Nipkow - 1986
37 Sketching concepts and computational model of TROLL light - Gogolla, Conrad et al. - 1993
36 Prespecification in data refinement (context) - Hoare, Jifeng et al. - 1987
34 Import is not inheritance - why we need both: Modules and cl.. - Szyperski - 1992
27 Reasoning and refinement in object-oriented specification la.. (context) - Lano, Haughton - 1992
24 Duality in specification languages: A latticetheoretical app.. (context) - Back, von Wright - 1990
20 Refinement calculus (context) - Back, von Wright - 1989
17 An Object-Oriented Refinement Calculus with Modular Reasonin.. - Utting - 1992
10 Getting class correctness and system correctness equivalent .. - Weber - 1992
8 Capsules and types in Fresco: Program verification in smallt.. (context) - Wills - 1991
4 Object-Oriented Programming in Oberon - Moessenboeck - 1993
4 TROLL light - the language and its development environment - Gogolla, Conrad et al. - 1994
3 This article was processed using the L a T E X macro package.. (context) - Wirfs-Brock, Wilkerson et al. - 1990
3 Structured analysis---a draft method for writing Z specifica.. (context) - Polack, Whiston et al. - 1991
1 Modules in object-oriented specification (context) - Ruping - 1993
1 Hypertext - a case study of formal object-oriented software .. (context) - Ruping - 1993
1 Formal object-oriented software design: The Coffer approach (context) - Lindner, Ruping - 1994
1 Verfeinerung von objektorientierten spezifikationen und prog.. (context) - Sekerinski - 1994
1 Tutorial at TOOLS Europe (context) - Casais, Lewerentz et al. - 1993
1 Using formal and structured techniques in object-oriented de.. (context) - Lano - 1992
Documents on the same site (http://www.fzi.de/divisions/prost/publications/overview.html): More
A Calculus for Predicative Programming - Sekerinski (1993) (Correct)
Demonstrating Coherent Design: A Data Structure Catalogue - Rüping, Weber, Zimmer (Correct)
Hypertext - A Case Study of Formal Object-Oriented Software.. - Rüping (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