The framework nuZ is a radical modification of the specification
language Z. The differences are as follows:
Z is based on a partial-correctness semantics: nuZ is based on a
total-correctness semantics;
Z identifies chaos and magic (blocking): nuZ distinguishes between
these;
Z schema operators are not monotonic: nuZ schema operators are
monotonic;
Z is based on equality: nuZ is based on refinement;
Z is a specification language: nuZ is wide-spectrum;
Z is relatively inflexible: nuZ is easily extensible;
Z is a language: nuZ is a logic;
I will concentrate on showing how nuZ (a very tiny system) can be
extended to a full specification language; used to specify (internally)
a programming language, including action systems, and its logic; and
then used to develop programs, by refinement, from specifications.
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would
like to attend, please email Paul Boca
by 3 November 2005. Pre-registration is required, as security
at the BCS Offices is tight Pre-registration is required, as security at the BCS Offices
is tight.
