Relay-Version: version B 2.10.2 9/18/84 +2.11; site uk.ac.ox.prgv Posting-Version: version B 2.10.3 uknet 86/05/14; site uk.ac.oxford.prg Path: prgv!mkhadmin From: Ruaridh Macdonald (on UK.MOD.RSRE) Newsgroups: zforum Subject: Z Forum Issue 2.2 Message-ID: <09 Date: 9 Sep 87 14:47:47 GMT Date-Received: 9 Sep 87 14:48:26 GMT Lines: 213 9th September 1987 Z FORUM Volume 2 Issue 2 ------------------ ------- ---------------- Today's Topics -------------- Workshop on Refinement Offer of LaTeX Macros More for the Z Bibliography Mailing List --------------------------------------------------------------------- From: John McDermid Date: Thu, 27 Aug 87 17:22 Subject: Workshop on Refinement WORKSHOP ON THE THEORY AND PRACTICE OF REFINEMENT Dates: 7th and 8th January 1988 Venue: King's Manor, University of York PURPOSE OF THE WORKSHOP: Formal methods are becoming quite widely used in industry for specification. However it is comparatively rare that refinement is carried out as recommended by the developers of the formal methods. The purpose of the workshop is to discuss this apparent gap between theory and practice and to provide stimulus to industrial use of refinement and academic research in practical refinement rules. The workshop will include presentations form industry on practical applications of formal methods, including production of multi-level specifications and refinement. It will also include academic presentations on current research into refinement. The workshop will also include discussion sessions on a number of topics including the relationships between refinement techniques and formal construction of programs. For further information, as well as offers of presentations or other contributions, please contact: John McDermid, Department of Computer Science, University of York, Heslington, York. YO1 5DD Tel. (0904) 430000 John Nicholls, Programming Research Group, University of Oxford, 8-11 Keble Road, Oxford. OX1 3QD Tel. (0865) 273867 --------------------------------------------------------------------- Date: Mon, 10 Aug 87 15:38:33 BST From: mike@UK.AC.OXFORD.PRG.SEVAX Subject: Offer of LaTeX Macros Special offer for readers of 'Z forum' ------- ----- --- ------- -- --------- I have put together a small package of LaTeX macros for printing Z specifications, and I'm willing to e-mail them to any reader of 'Z forum' who sends me a request. The package relies on two fonts of symbols from the American Mathematical Society called MSXM10 and MSYM10. I believe that these are part of the UNIX TeX distribution, or that they're public domain: if so, I'm prepared to send them in uuencode format with the macros. Several things are provided by the package: 1. It loads the AMS fonts and defines mnemonics for the Z symbols they contain. 2. It defines macros to fudge some Z symbols (e.g. >+>) which aren't otherwise provided. 3. It fixes the way TeX sets letters in mathematical formulas so that multi-character identifiers look better: e.g. you get "specifications" instead of "s peci f ication s". 4. It provides ways to set the various brands of "boxed mathematics" which appear in Z documents. -- Mike Spivey. --------------------------------------------------------------------- From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Thu, 3 Sep 87 09:45 Subject: More for the Z Bibliography %A B.S. Todd %T A Model-Based Diagnostic Program %J Software Engineering Journal %V 2 %N 3 %P 54-63 %D May 1987 %A Bernard Sufrin %A Jim Woodcock %T Towards the Formal Specification of a Simple Programming Support Environment %J Software Engineering Journal %V 2 %N 4 %P 86-94 %D July 1987 %A Bernard Sufrin %T A Case Study in Model Development: Text Editing %I Programming Research Group, Oxford University %P 16 %A Jim C.P. Woodcock %T Structuring Specifications - Notes on the Schema Notation %I Programming Research Group, Oxford University %P 29 %D 17th August 1987 --------------------------------------------------------------------- From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Wed, 9 Sep 87 14:50 Subject: Mailing List The mailing list for the Z Forum is still expanding. If you know anyone else who wishes to be added, let me know (RM @ uk.mod.rsre). The current list of those who receive the Forum DIRECTLY is (I hope I have people's details correct): At the Programming Research Group in Oxford, the Forum goes into Unix News: zforum @ uk.ac.oxford.prg.sevax Martyn Andrews TSL ANDREWS @ TSLC Rod Bark Hewlett-Packard rsb % uucp.hplb Derek Barnes RSRE DHB @ uk.mod.rsre David Bevan GEC Hirst Research Centre DAVID % HRCU @ ALVEY Anirban Bhattacharyya MARI ani % uucp.mari Des Borresen TSL DEZ @ TSLC David Bosomworth Racal ITD DRFB @ ALVEY Peter Bottomley RSRE PCB @ uk.mod.rsre David Bounds RSRE DGB @ uk.mod.rsre Brian Bramson RSRE BDB @ uk.mod.rsre Alan Brown Newcastle University ALAN @ uk.ac.newcastle.cushat Steve Bruniges TSL STEVE @ TSLC Bernard Cohen Surrey University bernie % uk.ac.surrey.ee @ uk.ac.reading David Cooper Plessey, Roke Manor ROKE @ uk.mod.rsre Anthony Davies MARI anthony @ uucp.mari David Freestone British Telecom BTFM @ ALVEY Nigel Haigh NPHH @ ALVEY Anthony Hall Praxis jah @ uucp.praxis Clare Harrold RSRE CLH @ uk.mod.rsre Ian Hayes Queensland University ianh @ oz.uqcspe Peter Hitchcock Newcastle University peter @ uk.ac.newcastle.cushat Roger Jones ICL Defence Systems RBJ @ uucp.stl Trevor King Praxis trevor @ uucp.praxis Martin Loomes Hatfield Polytechnic com-mjl @ uucp.hatpoly Ruaridh Macdonald RSRE RM @ uk.mod.rsre Peter Marron GEC Computers MPJM % B5 @ GECD John McDermid York University jam @ uk.ac.york.minster David Milward Southampton University elf001 @ uk.ac.southampton.ibm Brian Monahan Imperial Software Technology brian @ uucp.ist Yogesh Naik Imperial Software Technology yn @ uucp.ist Colin O'Halloran RSRE CMOH @ uk.mod.rsre Chris Paine Imperial Software Technology cmp @ uucp.ist Ann Petrie Newcastle University ann @ uk.ac.newcastle.cushat Andrew Ricketts Racal ITD ADWR @ ALVEY David Robinson Systems Designers dsr @ uk.co.sysdes Peter Scharbach BP Research zebedee!peters @ uucp.bprcsitu Chris Sennett RSRE CTS @ uk.mod.rsre Roger Shaw Imperial Software Technology rcs @ uucp.ist Dan Simpson Alvey Directorate DSAV @ ALVEY Alf Smith RSRE AS2 @ uk.mod.rsre Susan Stepney Marconi Research Laboratories STEPNEY % MRC @ ALVEY Phil Terry TSL PHIL @ TSLC Ray Weedon Newcastle University ray @ uk.ac.newcastle.cushat Simon Wiseman RSRE SRW @ uk.mod.rsre Gill Young RSRE GPY @ uk.mod.rsre Others receive copies of the Forum indirectly. Among those I know about are: Rahoul Bhasin European Computer Industry Research Centre (Munich) Richard Burnham Sultan Qaboos University, Oman David Carrington University of New South Wales Roger Duke University of Queensland Kevin Geary MoD Gray Girling Topexpress Richard Grevis Teletronics (Sydney) Richard Grimsdale Sussex University Ray Neucom University of Queensland Jagdish Pamnani Scicon Peter Robinson University of Queensland Gordon Rose University of Queensland John Wordsworth IBM, Hursley ************************* END OF Z FORUM 2.2 ************************