Abstract | ||
---|---|---|
. We present a theory of object-orientation on the basis of the refinementcalculus. This theory allows for specifying the behaviour of objectsand provides a calculus for the proof of relationships between classes suchas refinement. Given two similar, but not identical classes, we present analgorithm 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... |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/BFb0015457 | KORSO Book |
Keywords | Field | DocType |
object-oriented design,object oriented,object oriented design | Object-oriented design,Programming language,Account manager,Refinement calculus,Superclass,Object type,Computer science,Formal methods,Proof obligation,Design pattern | Conference |
ISBN | Citations | PageRank |
3-540-60589-4 | 1 | 0.44 |
References | Authors | |
18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claus Lewerentz | 1 | 665 | 64.65 |
Thomas Lindner | 2 | 183 | 24.29 |
A. Rueping | 3 | 1 | 0.44 |
Emil Sekerinski | 4 | 331 | 35.63 |