| B. Meyer, Object-Oriented Software Construction 2nd edition, Prentice-Hall, 1997. |
....the monitorability of contracts can be improved, avoidance and anticipation of violations are important features for our monitoring system. In next sections, the related work will discussed and compared. 4 Related work Looking at the object oriented constraints perspective, Bertrand Meyer [4] [3] refined the assertion based approach into the design by a contract method in the Ei#el language. The basic idea is that a component and its clients have a contract with each other. The client guarantees certain preconditions before calling a method, the component guarantees certain ....
Meyer B. Object-Oriented Software Construction 2 nd Edition. Prentice Hall, 1997.
No context found.
B. Meyer, Object-Oriented Software Construction 2nd edition, Prentice-Hall, 1997.
No context found.
B. Meyer, Object oriented software construction 2nd edition, (Englewood Cliffs NJ: Prentice Hall, 1997).
No context found.
B. Meyer, Object-Oriented Software Construction 2nd edition, Prentice-Hall, 1997.
No context found.
B. Meyer, Object-Oriented Software Construction 2nd edition, Prentice-Hall, 1997.
No context found.
Bertrand Meyer, Object-Oriented Software Construction: 2nd edition. Prentice Hall, 1997.
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