An Experience With Design by Contract. - Judy Tantivongsathaporn; Daniel Stearns (APSEC, 2006)