Formal Methods
Z Notation
Z bibliography
Result of search for "Object-Z":
@inproceedings{Z:Carr90,
author = {D. Carrington and D. J. Duke and R. Duke
and P. King and G. A. Rose and G. Smith},
editor = {S. Vuong},
title = {{Object-Z}: An Object-Oriented Extension to {Z}},
booktitle = {Formal Description Techniques, {II} ({FORTE'89})},
publisher = {Elsevier Science Publishers (North-Holland)},
location = {Vancouver, Canada, December 1989},
pages = {281-296},
year = 1990,
other = {Proc.\ Second International Conference FORTE'89.
Originally published as Technical Report 105,
Department of Computer Science, University of Queensland,
1989.}
}
@inproceedings{Z:Duke90,
author = {D. J. Duke and R. Duke},
title = {Towards a Semantics for {Object-Z}},
annote = {},
crossref = {Z:Bjor90},
other = {An outline of the denotational semantics of Object-Z.},
pages = {244-261}
}
@unpublished{Z:King90d,
author = {P. King},
title = {Printing {Z} and {Object-Z} {\LaTeX} Documents},
note = {Department of Computer Science, University of Queensland},
address = {St.\ Lucia 4072, Australia},
length = 12,
month = may,
year = 1990,
URL = {file://ftp.comlab.ox.ac.uk/pub/Zforum/oz.ps.Z},
annote = {
A description of a Z style option `\verb"oz.sty"', an extended
version of Mike Spivey's `\verb"zed.sty"' \cite{Z:Spiv90d}, for
use with the \LaTeX\ document preparation system \cite{Z:Lamp93}.
It is particularly useful for printing Object-Z documents
\cite{Z:Carr90,Z:Duke90}.
},
other = {E-mail: \verb"king@batserver.cs.uq.oz.au".
\par
The style file and the guide are
available electronically by sending an e-mail message containing
the command `{\tt send z oz.sty oz.tex}' to
\verb"archive-server@comlab.ox.ac.uk" \cite{Z:Zarc}.}
}
% was Z:Duke90c
@inproceedings{Z:Smit90b,
author = {G. Smith and R. Duke},
title = {Modelling a Cache Coherence Protocol using {Object-Z}},
booktitle = {Proc.\ 13th {Australian} Computer Science Conference
({ACSC-13})},
pages = {352-361},
year = 1990
}
@techreport{Z:Duke89b,
author = {D. J. Duke and R. Duke},
title = {A History Model for Classes in {Object-Z}},
type = {Technical Report},
number = 120,
institution = {Department of Computer Science,
University of Queensland},
address = {St.\ Lucia 4072, Australia},
year = 1989
}
@incollection{Z:Duke91b,
author = {R. Duke and P. King and G. A. Rose and G. Smith},
title = {The {Object-Z} Specification Language},
editor = {T. Korson and V. Vaishnavi and B. Meyer},
booktitle = {Technology of Object-Oriented Languages and Systems:
{TOOLS 5}},
pages = {465-483},
publisher = {Prentice Hall},
year = 1991
}
@inproceedings{Z:Swat91,
author = {P. A. Swatman and P. M. C. Swatman and R. Duke},
title = {Electronic Data Interchange: A high-level formal
specification in {Object-Z}},
booktitle = {Proc.\ 6th {Australian} Software Engineering Conference
({ASWEC'91})},
location = {Sidney, Australia, July 1991},
year = 1991
}
@techreport{Z:Duke91,
author = {R. Duke and P. King and G. A. Rose and G. Smith},
title = {The {Object-Z} Specification Language: Version 1},
institution = {Department of Computer Science,
University of Queensland},
address = {St.\ Lucia 4072, Australia},
type = {Technical Report},
number = {91-1},
URL = {file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr91-1.ps.Z},
month = apr,
year = 1991,
annote = {The most complete (and currently the standard) reference
on Object-Z. It has been reprinted by ISO JTC1 WG7 as document
number 372. A condensed version of this report was published as
\cite{Z:Duke91b}.
}
}
@book{Z:Step92c,
editor = {S. Stepney and R. Barden and D. Cooper},
title = {Object Orientation in {Z}},
series = {Workshops in Computing},
publisher = {Springer-Verlag},
ISBN = {3-540-19778-8 or 0-387-19778-8},
URL = {http://www.dcs.gla.ac.uk/springer-verlag/30.html},
URL = {http://www.blackwell.co.uk/cgi-bin/bb_item?3540197788},
year = 1992,
annote = {
This is a collection of papers describing various OOZ approaches --
Hall, ZERO, MooZ, Object-Z, OOZE, Schuman \& Pitt, Z$^{++}$, ZEST
and Fresco (an object-oriented VDM method) -- in the main written
by the methods' inventors, and all specifying the same two
examples. The collection is a revised and expanded version of a
ZIP report distributed at the 1991 Z User Meeting at York.}
}
@inproceedings{Z:Rafs93,
author = {G-H. B. Rafsanjani and S. J. Colwill},
title = {From {Object-Z} to {C$^{++}$}: A Structural Mapping},
annote = {},
crossref = {Z:Z93},
pages = {166-179}
}
@book{Z:Lano93d,
editor = {K. C. Lano and H. P. Haughton},
title = {Object Oriented Specification Case Studies},
publisher = {Prentice Hall International},
series = {Object Oriented Series},
year = 1993,
annote = {Contents: Chapters introducing object oriented methods,
object oriented formal specification and the links between formal
and structured object-oriented techniques; seven case studies in
particular object oriented formal methods, including:
\begin{quote}
The Unix Filing System: A MooZ Specification;
An Object-Z Specification of a Mobile Phone System;
Object-oriented Specification in VDM$^{++}$;
Specifying a Concept-recognition System in Z$^{++}$;
Specification in OOZE;
Refinement in Fresco;
SmallVDM: An Environment for Formal Specification and
Prototyping in Smalltalk.
\end{quote}
A glossary, index and bibliography are also included.
The contributors are some of the leading figures in the area,
including the developers of the above methods and languages:
Silvio Meira, Gordon Rose, Roger Duke, Antonio Alencar,
Joseph Goguen, Alan Wills, Cassio Souza dos Santos, Ana Cavalcanti.
},
length = 240,
price = {c\pounds25 UK}
}
@incollection{Z:Kilo94,
author = {H. Kilov and J. Ross},
title = {{Appendix A}: A More Formal Approach},
booktitle = {Information Modeling: An Object-Oriented Approach},
publisher = {Prentice Hall},
series = {Object-Oriented Series},
pages = {199-207},
other = {Uses Object-Z},
ISBN = {0-13-083033-X},
year = {1994}
}
@inproceedings{Z:Hass94,
author = {W. Hasselbring},
title = {Animation of {Object-Z} Specifications with a Set-Oriented
Prototyping Language},
pages = {337-356},
annote = {},
crossref = {Z:Z94}
}
@phdthesis{Z:Smit92b,
author = {G. Smith},
title = {An Object-Oriented Approach to Formal Specification},
school = {Department of Computer Science,
University of Queensland},
address = {St.\ Lucia 4072, Australia},
length = 238,
annote = {A detailed description of a version of Object-Z similar
to (but not identical to) that in \cite{Z:Duke91}. The thesis
also includes a formalization of temporal logic history
invariants and a fully-abstract model of classes in Object-Z.},
URL = {file://ftp.cs.uq.oz.au/pub/Thesis/graeme_smith.ps.Z},
month = oct,
year = 1992
}
@incollection{Z:Rose92,
author = {G. A. Rose},
title = {{Object-Z}},
annote = {},
crossref = {Z:Step92c},
pages = {59-77}
}
@techreport{Z:John93,
author = {W. Johnston and G. A. Rose},
title = {Guidelines for the Manual Conversion of {Object-Z}
to {C++}},
institution = {Department of Computer Science,
University of Queensland},
address = {St.\ Lucia 4072, Australia},
type = {Technical Report},
number = {93-14},
URL = {file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr93-14.ps.Z},
month = sep,
year = 1993
}
@inproceedings{Z:Kilo93,
author = {H. Kilov},
title = {Information Modeling and {Object Z}:
Specifying Generic Reusable Associations},
editor = {O. Etzion and A. Segev},
booktitle = {Proc.\ NGITS-93
(Next Generation Information Technology and Systems)},
location = {Haifa, Israel, 28--30 June 1993},
pages = {182-191},
month = jun,
year = 1993,
other = {Different kinds of generic relationships (e.g., Dependency,
Symmetric Relationship, Composition) have been specified (using
invariants and pre- and postconditions for operations) in extended
Object-Z.}
}
@inproceedings{Z:Reyn91,
author = {G. J. Reynolds},
title = {Yet Another Approach to the Formal Specification
of a Configurable Graphics System},
booktitle = {Proc.\ Eurographics Association
Formal Methods in Computer Graphics},
location = {Marina di Carrara, Italy, June 1991},
month = jun,
year = 1991,
other = {Describes an approach to the formal specification of
computer graphics systems, using Object-Z.}
}
@book{Z:Hass94b,
author = {W. Hasselbring},
title = {Prototyping Parallel Algorithms in a Set-Oriented Language},
series = {Dissertation
(University of Dortmund, Dept.\ Computer Science)},
publisher = {Verlag Dr. Kovac},
address = {Hamburg, Germany},
year = 1994,
ISBN = {3-86064-202-2},
price = {\pounds34},
length = 205,
annote = {
This book presents the design and implementation of an approach to
prototyping parallel algorithms with ProSet-Linda. The presented
approach to designing and implementing ProSet-Linda relies on the
use of the formal specification language Object-Z and the
prototyping language ProSet itself.}
}