Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/3-540-44880-2_2 | ZB |
Keywords | Field | DocType |
pattern language,new presentation,formal method,computer system engineering,outline pattern language,z notation,initial classification,formal notation,z pattern,computer systems engineering,present selected example,patterns,system engineering | Discrete mathematics,Z notation,Notation,Programming language,Formal language,Formality,Computer science,Formal specification,Pattern language,Natural language processing,Artificial intelligence,Formal methods | Conference |
Volume | ISSN | ISBN |
2651 | 0302-9743 | 3-540-40253-5 |
Citations | PageRank | References |
8 | 0.78 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Susan Stepney | 1 | 813 | 113.21 |
Fiona Polack | 2 | 368 | 41.70 |
Ian Toyn | 3 | 170 | 22.66 |