T. Lindner and A. R¨uping. Formal object-oriented software design: The Coffer approach. 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

....adopted from the approach of Jacobson [13] See also [9, 10] for the treatment of object behaviour and object interaction. Additionally, we find the treatment of inheritance in RDD not adequate (cf. Section 4) and replace this part of RDD. The complete resulting design method is described in [16]. By introducing object behaviour and object interaction descriptions we succeed in coming closer to a formal specification of our classes. So far, the communication architecture of our object system is formally described (via class collaboration graphs and object behaviour descriptions) and can ....

....of all invariants of all states it can be invoked in, the postcondition of a method is not weaker than the invariant of the state which follows this method, if the latter is unique, and the class invariant is not stronger than the conjunction of the state invariants. We refer to [16] for a complete list of all proof obligations. Design Patterns. Object orientation is said to be a strong technique for reuse and extensibility of software designs. Nevertheless, most design methodologies start up from the scratch and do not tackle the situation where some work has already been ....

[Article contains additional citation context not shown here]

T. Lindner and A. R¨uping. Formal object-oriented software design: The Coffer approach. 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