Sciweavers

84
Voted
IEE
1998
102views more  IEE 1998»
15 years 22 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