Z User Workshop, Oxford 1990 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540196723, 9781447135401

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interference Revisited

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_5 ◽

1991 ◽

pp. 58-73 ◽

Cited By ~ 3

Author(s):

C. B. Jones

Download Full-text

Metrics and Measurement of Specifications Written in Z

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_24 ◽

1991 ◽

pp. 377-387

Author(s):

Malcolm Teasdale ◽

◽

Jonathan Bowen ◽

Silvio Lemos Meira ◽

Peter Fox ◽

...

Keyword(s):

Metrics And Measurement

Download Full-text

Selected Z Bibliography

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_23 ◽

1991 ◽

pp. 353-373

Author(s):

Jonathan Bowen

Download Full-text

A survey of Z courses in the UK

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_22 ◽

1991 ◽

pp. 343-350 ◽

Cited By ~ 3

Author(s):

J. E. Nicholls

Keyword(s):

The Uk

Download Full-text

Machine support for Z: the zedB tool

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_8 ◽

1991 ◽

pp. 105-128 ◽

Cited By ~ 3

Author(s):

Dave Neilson

Download Full-text

A Video-based Training Course in Reading Z Specifications

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_21 ◽

1991 ◽

pp. 337-342 ◽

Cited By ~ 2

Author(s):

Allan Norcliffe ◽

Sam Valentine

Keyword(s):

Training Course

Download Full-text

Z! In Progress: Maintaining Z specifications

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_19 ◽

1991 ◽

pp. 295-318 ◽

Cited By ~ 2

Author(s):

Peter T. Breuer

Download Full-text

Z++, An Object-Orientated Extension To Z

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_11 ◽

1991 ◽

pp. 151-172 ◽

Cited By ~ 18

Author(s):

K. Lano

Download Full-text

CADiℤ — Computer Aided Design in Z

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_7 ◽

1991 ◽

pp. 93-104 ◽

Cited By ~ 5

Author(s):

David Jordan ◽

John McDermid ◽

Ian Toyn

Keyword(s):

Computer Aided Design ◽

Computer Aided ◽

Aided Design

Download Full-text

Interpretations of Z Schema Operators

Z User Workshop, Oxford 1990 - Workshops in Computing ◽

10.1007/978-1-4471-3540-1_2 ◽

1991 ◽

pp. 12-26 ◽

Cited By ~ 2

Author(s):

Ian Hayes

Download Full-text

Z User Workshop, Oxford 1990 - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Interference Revisited

Metrics and Measurement of Specifications Written in Z

Selected Z Bibliography

A survey of Z courses in the UK

Machine support for Z: the zedB tool

A Video-based Training Course in Reading Z Specifications

Z! In Progress: Maintaining Z specifications

Z++, An Object-Orientated Extension To Z

CADiℤ — Computer Aided Design in Z

Interpretations of Z Schema Operators

Z User Workshop, Oxford 1990 - Workshops in Computing
Latest Publications