By the same authors

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2003
Original languageUndefined/Unknown


Formal methods such as Z are generally criticised for their lack of practical applicability. As in other areas of software engineering, patterns help to construct, analyse and describe formal texts. Once a method has a catalogue of patterns, development can proceed by applying patterns, and by moving from one sort of pattern to another. This paper illustrates a developmental use of patterns. First, we describe the set of patterns that collectively represent the well-known Z structure, promotion. We then show how refactoring can be used to take an unstructured Z specification in to a promotion structure.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations