Applying 'design by contract'