Z notation examples

These pages look best when this \power and this X are about the same size: \power X. See these viewing tips.

By way of explanation:

Short case studies based on chapters in The Way of Z:

Portions of a large specification used to develop a real system:

Reference material:

Lecture notes about Z:

Brief samples showing how to display Z in HTML:

Created from these LaTeX source files with the Z2HTML translator.

Z home page with FAQ and links to publications, tools, and meetings.

Copyright notice

Jonathan Jacky / Department of Radiation Oncology Box 356043
University of Washington / Seattle, Washington 98195-6043 / USA
Tel (206) 598-4117 / Fax (206) 598-6218

E-mail: jon@u.washington.edu