[Apologies if you receive multiple copies of this announcement]
BCS-FACS Evening Seminar
nuZ -- a wide-spectrum logic for specification and program development
Professor Martin Henson
University of Essex
8 November 2005
5.45pm
BCS London Offices
First Floor
The Davidson Building
5 Southampton Street
London WC2E 7HA
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[[log in to unmask]] by >>> 3 November 2005 <<<.
Pre-registration is required, as security at the BCS Offices is tight.
Location of venue:
http://www.bcs.org/NR/rdonlyres/B5872B38-3FBB-46E8-9CE7-6F43212E1198/0/londonss.jpg
|