E. Sekerinski. Verfeinerung von objektorientierten spezifikationen und programmen. Technical report, Forschungszentrum Informatik, Haid-und-Neu-Straße 10--14, D-76131 Karlsruhe, 1994. To appear.  Home/Search   Document Not in Database   Summary   Related Articles

....q by r in p refines p. This property, togehter with the transitivity of refinement, is the basis for stepwise refinement. 3 Objects and Classes We extend the refinement calculus by objects, object types and classes. The approach is illustrated by examples from banking. The reader may consult [25] for a more complete treatment of the underlying theory. Transactions on bank accounts can be modelled by representing each account as an object with a private state and public operations on that state. Basically, an account allows for depositing and withdrawing a certain amount, inquiring its ....

....objects here are higher order in the sense that they have operations on them that are part of them. Some care is necessary to ensure consistency of the definitions, as observed in [27] Object oriented type theory offers a way to express these higher order features. The reader is referred to [25] for a more comprehensive treatment. 4 Class Refinement and Equivalence We take the view of objects being black boxes with some internals and exhibiting a certain behaviour to their environment. Interaction with objects takes place only by method calls to them. Class A is refined by class C if ....

[Article contains additional citation context not shown here]

E. Sekerinski. Verfeinerung von objektorientierten spezifikationen und programmen. Technical report, Forschungszentrum Informatik, Haid-und-Neu-Straße 10--14, D-76131 Karlsruhe, 1994. To appear.

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