An Outline Pattern Language for Z: Five Illustrations and Two Tables | Zendy

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

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Outline Pattern Language for Z: Five Illustrations and Two Tables

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_2

Subject(s) - formality , computer science , notation , programming language , focus (optics) , formal language , formal methods , presentation (obstetrics) , style (visual arts) , software engineering , natural language processing , artificial intelligence , linguistics , medicine , history , philosophy , physics , archaeology , optics , radiology

We introduce a pattern language for using formal methods in computer system engineering. We focus on the Z notation, but many of the patterns are adaptable to other formal notations, or can be used to help choose a notation, or to decide on a style of formality. As in other pattern languages, we are providing a new presentation of existing practice, to make it accessible to computer systems engineering. We propose an initial classification of Z patterns, present selected examples, and outline issues of tool support.

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