100
click to vote
IEE
1998
15 years 2 months ago
1998
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 ...