Design patterns and their role in formal object-oriented development

This paper describes how object-oriented design patterns can be used within a formal development process, and how the structure of formal requirements specifications, as expressed in their invariant properties, may serve to suggest suitable patterns to be used in their design and implementation.