Z User Workshop, Cambridge 1994 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer London

9783540198840, 9781447134527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying and Interpreting Class Hierarchies in Z

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_8 ◽

1994 ◽

pp. 120-138 ◽

Author(s):

Anthony Hall

Keyword(s):

Class Hierarchies

Download Full-text

Z for Managed Objects

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_7 ◽

1994 ◽

pp. 108-119 ◽

Author(s):

Clazien Wezeman ◽

Tony Judge

Download Full-text

Formal Specification of Telephone Features

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_3 ◽

1994 ◽

pp. 29-50 ◽

Author(s):

Peter Mataga ◽

Pamela Zave

Keyword(s):

Formal Specification

Download Full-text

Animation of Object-Z Specifications with a Set-Oriented Prototyping Language

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_20 ◽

1994 ◽

pp. 337-356 ◽

Author(s):

W. Hasselbring

Download Full-text

An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_18 ◽

1994 ◽

pp. 297-315 ◽

Author(s):

Daniel K. C. Chan ◽

Philip W. Trinder

Keyword(s):

Object Oriented ◽

Type Checking ◽

Multiple Inheritance

Download Full-text

Specifying Real-Time Systems with Z and the Duration Calculus

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_17 ◽

1994 ◽

pp. 282-294 ◽

Author(s):

Marcin Engel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Duration Calculus ◽

Download Full-text

An Object-Oriented Development Framework for Z

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_6 ◽

1994 ◽

pp. 89-107 ◽

Author(s):

Graeme Smith

Keyword(s):

Object Oriented ◽

Development Framework

Download Full-text

TLZ

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_15 ◽

1994 ◽

pp. 267-268 ◽

Author(s):

Leslie Lamport

Download Full-text

Software Quality Assurance using the SAZ Method

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_13 ◽

1994 ◽

pp. 230-249 ◽

Author(s):

Fiona Polack ◽

Keith C. Mander

Keyword(s):

Quality Assurance ◽

Software Quality ◽

Software Quality Assurance

Download Full-text

Integrating Formal Methods into a Professional Master of Software Engineering Program

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_5 ◽

1994 ◽

pp. 71-85 ◽

Author(s):

David Garlan

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Engineering Program

Download Full-text