home
>
book reviews
> John E. Nicholls
Google >
John E. Nicholls
author : John E. Nicholls
Books
Z User Manual
.
1989,
with
Mike A. McMorran
4th Z User Workshop
.
1990
5th Z User Workshop
.
1991
6th Z User Workshop
.
1992
7th Z User Workshop
.
1993,
with
Jonathan P. Bowen
Short works
Domains of Application for Formal Methods. 1992.
(In
6th Z User Workshop
)
Plain Guide to the Z Base Standard. 1993.
(In
7th Z User Workshop
)
Books : reviews
John E. Nicholls.
4th Z User Workshop
: Oxford 1989
.
Springer. 1990
(read but not reviewed)
John E. Nicholls.
5th Z User Workshop
: Oxford 1990
.
Springer. 1991
(read but not reviewed)
John E. Nicholls, ed.
6th Z User Workshop
: York 1991
.
Springer. 1992
(read but not reviewed)
Contents
Alf Smith
.
On Recursive Free Types in Z
. 1992
Rob D. Arthan
.
On Free Type Definitions in Z
. 1992
Antoni Diller
.
Z and Hoare Logics
. 1992
Jim Woodcock
,
Stephen M. Brien
.
W: A Logic for Z
. 1992
Rosalind Barden
,
Susan Stepney
,
David Cooper
.
The Use of Z
. 1992
full paper
Paul A. Swatman
,
Danielle Fowler
,
C. Y. Michael Gan
.
Extending the Useful Application Domain for Formal Methods
. 1992
Domains of Application for Formal Methods
. 1992
Samuel H. Valentine
.
Z--, an Executable Subset of Z
. 1992
Michael Harrison
.
Engineering Human-Error Tolerant Software
. 1992
(invited talk)
Pamela Zave
,
Michael Jackson
.
Techniques for Partial Specification and Specification of Switching Systems
. 1992
(invited talk)
Mark Saaltink
.
Z and Eves
. 1992
(invited talk)
Dave Neilson
,
Divya Prasad
.
zedB: A Proof Tool for Z Built on B
. 1992
Roberto S. M. de Barros
,
David J. Harper
.
A Method for the Specification of Relational Database Applications
. 1992
Fiona Polack
,
Mark Whiston
,
Peter Hitchcock
.
Structured Analysis - A Draft Method for Writing Z Specifications
. 1992
David Duke
.
Enhancing the Structure of Z Specifications
. 1992
David Carrington
.
ZOOM Workshop Report
. 1992
Jonathan P. Bowen, John E. Nicholls, eds.
7th Z User Workshop
: London 1992
.
Springer. 1993
(read but not reviewed)
Contents
Dan Craigen
,
Susan Gerhart
,
Ted Ralston
.
An International Survey of Industrial Applications of Formal Methods
. 1993
(invited talk)
Samuel H. Valentine
.
Putting Numbers into the Mathematical Toolkit
. 1993
Ian J. Hayes
,
Luke Wildman
.
Towards Libraries for Z
. 1993
John E. Nicholls
.
Plain Guide to the Z Base Standard
. 1993
Kevin C. Lano
,
Howard Haughton
.
Reuse and Adaptation of Z Specifications
. 1993
Andrew Bradley
.
Requirements for Defence Standard 00-55
. 1993
(invited talk: abstract)
Jonathan Jacky
.
Formal Specification and Development of Control System Input/Output
. 1993
John C. Knight
,
Darrell M. Kienzle
.
Preliminary Experience Using Z to Specify a Safety-Critical System
. 1993
Andrew C. Coombes
,
John A. McDermid
.
Using Diagrams to Give a Formal Specification of Timing Constraints in Z
. 1993
Alastair R. Ruddle
.
Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems
. 1993
I. Maung
,
J. R. Howse
.
Introducing Hyper-Z -- A New Approach to Object-Orientation in Z
. 1993
G. Hossein Bagherzadeh Rafsanjani
,
S. J. Colwill
.
From Object-Z to C++: A Structural Mapping
. 1993
Elspeth Cusack
,
Clazien Wezeman
.
Deriving Tests for Objects Specified in Z
. 1993
Elspeth Cusack
.
Using Z in Communications Engineering
. 1993
(invited talk)
Paul A. Swatman
.
Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals
. 1993
Christine Draper
.
Practical Experiences of Z and SSADM
. 1993
Rosalind Barden
,
Susan Stepney
.
Support for using Z
. 1993
full paper
Glyn Normington
.
Cleanroom and Z
. 1993
(invited talk)
Matthew Love
.
Animating Z Specifications in SQL*Forms3.0
. 1993