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!daemon From: Ruaridh Macdonald (on UK.MOD.RSRE) Newsgroups: zforum Subject: Z Forum Issue 4.2 Message-ID: <27 JAN 1989 09:02:11 RM@RSRE> Date: 27 Jan 89 12:04:48 GMT Date-Received: 27 Jan 89 12:06:39 GMT Lines: 124 27th January 1989 Z FORUM Volume 4 Issue 2 ----------------- ------- ---------------- Today's Topics -------------- Bibliography Addendum Research Officer Posts Tabs in Z Forum --------------------------------------------------------------------- From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Fri, 13 Jan 89 11:03 Subject: Bibliography Addendum The following were presented at a tutorial day preceding the 1989 Refinement Workshop held at the Open University. %A John B. Wordsworth %T A Z Development Method %I IBM UK Laboratories Ltd., Hursley Park, Winchester %P 30 %D 3rd January 1989 %A John B. Wordsworth %T Refinement Tutorial: A Storage Manager %I IBM UK Laboratories Ltd., Hursley Park, Winchester %P 27 %D 4th January 1989 %A Jim C.P. Woodcock %T Parallel Refinement in Z %I Programming Research Group, Oxford University %P 12 %D 6th January 1989 %A Jim C.P. Woodcock %T Transaction Refinement in Z %I Programming Research Group, Oxford University %P 6 %D 6th January 1989 The papers by Jim Woodcock represent current thinking on work in progress. Copies are available from him on request (Programming Research Group, 8-11 Keble Road, Oxford. OX1 3QD. Email: jimw@uk.ac.oxford.prg.sevax). --------------------------------------------------------------------- Date: Wed, 25 Jan 89 15:43:57 GMT From: bowen@uk.ac.oxford.prg Subject: ESPRIT II Formal Methods Research Officer posts OXFORD UNIVERSITY COMPUTING LABORATORY Programming Research Group The PRG consists of 12 academic staff and around 40 research officers and doctoral students, engaged in teaching and carrying out research in computing science, primarily in the area of formal methods. The PRG is complemented by the Numerical Analysis Group which together form the Computing Laboratory at Oxford University. ESPRIT II RESEARCH OFFICERS Applications are invited from Mathematics or Computing graduates or other suitably qualified candidates for posts on a number of EEC funded ESPRIT II projects which are due to start shortly in the Programming Research Group at the Computing Laboratory. ESPRIT II: Maintenance Validation and Documentation of Software Systems The REDO project aims to produce methods and a prototype toolkit which will aid in the restructuring of existing program code and documentation to bring it into line with modern standards of structure and practice. Oxford's role will be to supply formal methods expertise wherever it can be applied with advantage in the project and transmit such information to other partners as necessary. The formal notation Z, developed at the PRG and based on set theory, is likely to be used where appropriate, but not to the exclusion of other notations, which may be specifically developed from existing notations for the project if required. There are two posts available from January 1989 onwards for three years. Equipment will consist of Sun 3/60 workstations running Unix. A certain amount of European travel will be involved to liaise with other partners on the project. Salary, according to age, qualifications and experience, will normally be on the Research Officer Grade 1A scale (9,875 -- 15,720). Further particulars from: The Administrator, Oxford University Computing Laboratory, 11 Keble Road, Oxford OX1 3QD. (Tel. 0865 273838) Applications, including full curriculum vitae, and two referees, should be sent by 3rd February 1989. Oxford University is an equal opportunities employer. --------------------------------------------------------------------- Date: Fri, 13 Jan 89 13:14:30 GMT From: NER034@uk.ac.tees-poly.prime-a Subject: Tabs in ZForum Please, please, could you eather refrane from using or just remove, tabs from the ZForum files. We run Prime systems, and the internal mail facility replaces the tabs with quierys (?). Before I allow anybody else to view the files, I have to go through them, reformatting them as I think you ment them to be. Peter Knaggs (All Z related mail to be sent to ACC111 @ uk.ac.tp.pa) ***************************** END OF Z FORUM 4.2 ********************