International Workshop on Software Reuse and Safety

Design by contract (registered trademark of Interactive Software Engineering) is an approach to software development first proposed by Bertrand Meyer. Researchers are beginning to look closely at this technique as a possible mechanism for the design and development of safety-critical reusable software components.