R Kramer - … Technology of Object-Oriented Languages. TOOLS …, 1998 - ieeexplore.ieee.org
Until today, the explicit specification of" software contracts" by means of class invariants and
method pre-and post-conditions was only available to Eiffel developers. iContract is the first …