Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z | Zendy

Susan Stepney | Zendy; Fiona Polack | Zendy; Ian Toyn | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z

Author(s) -

Susan Stepney,

Fiona Polack,

Ian Toyn

Publication year - 2003

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-40253-5

DOI - 10.1007/3-540-44880-2_3

Subject(s) - code refactoring , computer science , sort , construct (python library) , promotion (chess) , software design pattern , set (abstract data type) , software engineering , software , programming language , information retrieval , politics , political science , law

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research