Workshops in Computing - Z User Workshop, London 1992
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540198185, 9781447135562

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An International Survey of Industrial Applications of Formal Methods

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_1 ◽

1993 ◽

pp. 1-5 ◽

Cited By ~ 21

Author(s):

Dan Craigen ◽

Susan Gerhart ◽

Ted Ralston

Keyword(s):

Formal Methods ◽

Industrial Applications ◽

International Survey

Download Full-text

Reuse and Adaptation of Z Specifications

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_5 ◽

1993 ◽

pp. 62-90 ◽

Cited By ~ 2

Author(s):

K. Lano ◽

H. Haughton

Download Full-text

Using Z in Communications Engineering ( Invited Talk )

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_14 ◽

1993 ◽

pp. 196-202 ◽

Cited By ~ 1

Author(s):

Elspeth Cusack

Download Full-text

Deriving Tests for Objects Specified in Z

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_13 ◽

1993 ◽

pp. 180-195 ◽

Cited By ~ 6

Author(s):

Elspeth Cusack ◽

Clazien Wezeman

Download Full-text

Plain guide to the Z Base Standard

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_4 ◽

1993 ◽

pp. 52-61 ◽

Cited By ~ 1

Author(s):

J. E. Nicholls

Download Full-text

Animating Z specifications in SQL*Forms3.0

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_19 ◽

1993 ◽

pp. 294-306 ◽

Cited By ~ 1

Author(s):

Matthew Love

Download Full-text

Using Formal Specification in the Acquisition of Information Systems Educating Information Systems Professionals

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_15 ◽

1993 ◽

pp. 205-239 ◽

Cited By ~ 2

Author(s):

Paul A. Swatman

Keyword(s):

Information Systems ◽

Formal Specification ◽

Information Systems Professionals

Download Full-text

From Object-Z to C++: A Structural Mapping

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_12 ◽

1993 ◽

pp. 166-179 ◽

Cited By ~ 3

Author(s):

G-H Bagherzadeh Rafsanjani ◽

S. J. Colwill

Keyword(s):

Structural Mapping

Download Full-text

Introducing Hyper-Z — a New Approach to Object Orientation in Z

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_11 ◽

1993 ◽

pp. 149-165 ◽

Cited By ~ 2

Author(s):

I. Maung ◽

J. R. Howse

Keyword(s):

Object Orientation ◽

New Approach

Download Full-text

Using Diagrams to give a Formal Specification of Timing Constraints in Z

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_9 ◽

1993 ◽

pp. 119-130 ◽

Cited By ~ 2

Author(s):

A. C. Coombes ◽

J. A. McDermid

Keyword(s):

Formal Specification ◽

Timing Constraints

Download Full-text

Workshops in Computing - Z User Workshop, London 1992Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

An International Survey of Industrial Applications of Formal Methods

Reuse and Adaptation of Z Specifications

Using Z in Communications Engineering ( Invited Talk )

Deriving Tests for Objects Specified in Z

Plain guide to the Z Base Standard

Animating Z specifications in SQL*Forms3.0

Using Formal Specification in the Acquisition of Information Systems Educating Information Systems Professionals

From Object-Z to C++: A Structural Mapping

Introducing Hyper-Z — a New Approach to Object Orientation in Z

Using Diagrams to give a Formal Specification of Timing Constraints in Z

Workshops in Computing - Z User Workshop, London 1992
Latest Publications