Applying 'design by contract'1992-10-010 OA AI DOI:10.1109/2.161279OriginalOriginal request for helpShareSaveAbstract En