Sciweavers

IEE
1998
102views more  IEE 1998»
14 years 9 days ago
Visualising action contracts in object-oriented modelling
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
Stuart Kent, Joseph Gil