<HTML>
<HEAD>
<TITLE>Z bibliography - search</TITLE>
<LINK REV=made HREF="mailto:archive-management@comlab.ox.ac.uk">
</HEAD>

<BODY>

<A HREF="/archive/formal-methods.html">
<IMG ALT="*" SRC="/archive/gifs/Virtual_Library.gif"
 HEIGHT=48 WIDTH=48 BORDER=0>
Formal Methods</A>

<A HREF="/archive/z.html">
<IMG ALT="*" SRC="/archive/gifs/Virtual_Library.gif"
 HEIGHT=48 WIDTH=48 BORDER=0>
Z Notation</A>

<A HREF="/archive/z/bib.html">
<IMG ALT="*" SRC="/archive/gifs/Virtual_Library.gif"
 HEIGHT=48 WIDTH=48 BORDER=0>
Z bibliography</A>


<H1>Z bibliography - search</H1>

Provide a <A
HREF=http://www.cis.ohio-state.edu/htbin/info/info/perl.info,Regular%20Expressions>
Perl regular expression</A> as a search pattern for the bibliography.
<FORM
ACTION="/cgi-bin/htgrep/file=/archive/z/z.bib&style=pre&grab=yes&max=250">
<INPUT NAME="isindex">
<INPUT TYPE="submit" VALUE="Submit">
<INPUT TYPE="reset" VALUE="Reset">
</FORM>

<UL>

<LI>
<A HREF=/archive/z/z.bib>
Display the bibliography</A> source file in full.

<LI>
<A HREF=/cgi-bin/htgrep/file=/archive/z/z.bib&style=pre&grab=yes&max=2000?.*>
Return all entries in the bibliography</A> including hyperlinks.

</UL>

<HR>
Maintained by
<A HREF=/oucl/people/jonathan.bowen.html>Jonathan Bowen</A>
as part of the <A HREF=/oucl.html> OUCL
<A HREF=/archive/index.html> archive</A>.
<P>

<IMG SRC=/archive/formal-methods/symbols.gif ALT="__________"
 HEIGHT=19 WIDTH=536><P>

<B>Result of search for "Object-Z":</B><P>
<pre>@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 = {<A HREF="file://ftp.comlab.ox.ac.uk/pub/Zforum/oz.ps.Z">file://ftp.comlab.ox.ac.uk/pub/Zforum/oz.ps.Z</A>},
  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 = {<A HREF="file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr91-1.ps.Z">file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr91-1.ps.Z</A>},
  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 = {<A HREF="http://www.dcs.gla.ac.uk/springer-verlag/30.html">http://www.dcs.gla.ac.uk/springer-verlag/30.html</A>},
  URL = {<A HREF="http://www.blackwell.co.uk/cgi-bin/bb_item">http://www.blackwell.co.uk/cgi-bin/bb_item</A>?3540197788},
  year = 1992,
  annote = {
    This is a collection of papers describing various OOZ approaches --
    Hall, ZERO, MooZ, Object-Z, OOZE, Schuman \&amp; 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 = {<A HREF="file://ftp.cs.uq.oz.au/pub/Thesis/graeme_smith.ps.Z">file://ftp.cs.uq.oz.au/pub/Thesis/graeme_smith.ps.Z</A>},
  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 = {<A HREF="file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr93-14.ps.Z">file://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr93-14.ps.Z</A>},
  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.}
}

</pre><HR>
<I>This file was generated by <A HREF="http://iamwww.unibe.ch/~scg/Src/Doc/htgrep.html">htgrep v1.6</A>.</I>
<P>

</BODY>

