Relay-Version: version B 2.10.2 9/18/84 +2.11; site UK.AC.OX.PRGV Posting-Version: version B 2.10.2 9/18/84 +2.11; site UK.AC.OX.PRGV Path: OX.PRGV!daemon From: Ruaridh Macdonald (on UK.MOD.RSRE) Newsgroups: zforum Subject: Z Forum Issue 7 Message-ID: <1563@UK.AC.OX.PRGV> Date: 22 Jul 86 07:46:02 GMT Date-Received: 22 Jul 86 07:46:02 GMT Sender: daemon@UK.AC.OX.PRGV Organization: PRG, Oxford University, UK Lines: 559 21st July 1986 Z FORUM Volume 1 Issue 7 --------------- ------- ---------------- Today's Topics -------------- Z Courses Absent Editor Bibliography --------------------------------------------------------------------- From: Sam Valentine Date: 11 July 1986 Subject: Z Courses Systems Designers are offering one-week courses in Z. Course Objectives: The course will be an intensive introduction to Z. In particular members should gain * an appreciation of the nature and advantages of formal specification systems * an understanding of the Z notation and reasonable facility in reading and writing it * an initial ability to apply Z to real non-trivial problems Who Should Attend: Technical staff of any level who are concerned with the specification of hardware, software or human systems. No specific computer knowledge is required but a familiarity with elementary set theory and logic will be helpful and an ability to think in a precise yet abstract way will be called for Course Contents: The teaching will include frequent examples, either given by the lecturers or set as exercises for the class. There will also be a major exercise, and a major presented case-study. The Z editor and other tools currently under development will be used in the course as soon as they are available. Topics covered will include * Motivation and scenarios for formal notations * Logic, predicates, quantifiers * sets, products, powersets, relations and functions * sequences and other derived types * Schemas and schema-calculus The emphasis throughout will be on the practical application of the techniques. Copies of the available relevant documentation from the PRG will be supplied as part of the course material. Staffing: Teaching will be carried out by Systems Designers' staff. The course is being given with the support and co-operation of the PRG at Oxford. Location: The courses will take place in Pembroke House, Pembroke Broadway, Camberley. Dates: For 1986 the course dates are 22 - 26 September 24 - 28 November (Monday to Friday in each case) Price: 800 pounds per candidate, including midday meal but excluding accommodation. Contact: For queries concerning course content, contact Sam Valentine. For booking and administrative matters contact Ms Susan Norman Software Technology Training Centre Pembroke House Pembroke Broadway Camberley Surrey GU15 3XD phone Camberley (0276-)686200 ----------------------------------------------------------------------- From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Mon, 21 Jul 86 14:06 GMT Subject: Absent Editor I shall be away from next week until 4th September, so please do not expect any replies to messages from me before then. Keep chatting amongst yourselves in the meantime! ----------------------------------------------------------------------- From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Fri, 18 Jul 86 17:17 GMT Subject: Bibliography Introductions ------------- %A Roger Gimson %A C. Carroll Morgan %T Ease of Use Through Proper Specification %B Distributed Computing Systems Programme %E David A. Duce %I Peter Peregrinus %D 1984 %K Distributed Computing System, Z Language %X Field Gimson and Morgan 1984 %A Roger Gimson %A C. Carroll Morgan %T The Distributed Computing Software Project %S Technical Monographs %V PRG-50 %I Programming Research Group, Oxford University %D July 1985 %A Ian J. Hayes %T Using Mathematics to Specify Software %J Proc. First Australian Software Engineering Conference %I Institution of Engineers, Australia %C Canberra, Australia %D May 1986 %K Z Specification Language %A Ian J. Hayes %T Applying Formal Specification to Software Development in Industry %J IEEE Transactions on Software Engineering %V SE-11 %N 2 %P 169-178 %D February 1985 %K Z Language, CICS %A B. Meyer %T On Formalism in Specifications %J IEEE Software %V 2 %N 1 %P 6-26 %D January 1985 %K Z Z Language ---------- %A Jean-Raymond Abrial %A S.A. Schuman %A B. Meyer %T Specification Language %B On the Construction of Programs: An Advanced Course %E R.M. McKeag and A.M. Macnaghten %I Cambridge University Press %P 343-410 %D 1980 %K Z %A Jean-Raymond Abrial %T The Specification Language Z: Basic Library %I Programming Research Group, Oxford University %D 1982 %X Field Abrial 1982 %A Steve King, ed. %T Towards a Concrete Syntax for the Complete Z Notation, Draft 1.6 %I Programming Research Group, Oxford University %P 16 %D 16th June 1986 %A John Michael Spivey %T Understanding Z, A Specification Language and its Formal Semantics %R D. Phil. Thesis %I Programming Research Group, Oxford University %P 184 %D October 1985 %A Bernard A. Sufrin, ed. %T Z Handbook, Draft 1.1 %I Programming Research Group, Oxford University %D 14th March 1986 %A Jim C.P. Woodcock %A Ib Holm Sorensen %A Steve King %T An Abstract Syntax for the Z Notation, Draft 1.9 %I Programming Research Group, Oxford University %P 9 %D 2nd June 1986 Specifications Related to Editors --------------------------------- %A Jonathan Bowen %T POS - Formal Specification of a Simple Text Formatting Tool %I Programming Research Group, Oxford University %P 16 %D October 1985 %A Jonathan Bowen %T An Example of a Window System using Z %I Programming Research Group, Oxford University %P 12 %D November 1985 %A Jonathan Bowen %T A Comparison of Three Window Systems using Z %I Programming Research Group, Oxford University %P 50 %D December 1985 %A Roger Duke %A Gordon A. Rose %T A Complete Z Specification of an Interactive Program Editor %R Technical Report %I Department of Computer Science, University of Queensland %D 1986 %K Z Language %A Christopher M. Paine %T A Graphics Tree Editor %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1984 %A Bernard A. Sufrin %T Formal Specification of a Display Editor %S Technical Monographs %V PRG-21 %I Programming Research Group, Oxford University %P 55 %D June 1981 Specifications Related to Filing Systems ---------------------------------------- %A Jonathan Bowen %T File Storage Service - User Manual %I Distributed Computing Software Project, PRG, Oxford University %P 29 %D March 1986 %A Jonathan Bowen %T File Cacheing Service - User Manual %I Distributed Computing Software Project, PRG, Oxford University %P 15 %D April 1986 %A Terry J. Erdle %T PERQFILE: A Case Study in Formal Specification %R M.Sc. Thesis %I Programming Research Grou[26up, Oxford University %D September 1982 %A C. Carroll Morgan %A Bernard A. Sufrin %T Specification of the Unix Filing System %J IEEE Transactions on Software Engineering %V SE-10 %N 2 %P 128-142 %D March 1984 %K Specification Language, Z, Schema Calculus %X Field Morgan and Sufrin 1984 Specifications of Instruction Sets ---------------------------------- %A Jonathan Bowen %T The Formal Specification of a Microprocessor Instruction Set %I Programming Research Group, Oxford University %P 59 %D March 1986 Specifications - General ------------------------ %A Kavi Arya %T Functional Animation %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1984 %A Jonathan Bowen %T Formal Specification of the Raster-Op Function %I Programming Research Group, Oxford University %P 12 %D November 1985 %A L. William Flinn %A Ib Holm Sorensen %T CAVIAR: A Case Study in Specification %S Technical Monographs %V PRG-48 %I Programming Research Group, Oxford University %D July 1985 %K Z Language %X Field Flinn and Sorensen 1985 %A D.A. Grosvenor %T Specification of the Services and Protocols in a Layer of a Message Handling %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Ian J. Hayes %T Specification Case Studies %S Technical Monographs %V PRG-46 %I Programming Research Group, Oxford University %D July 1985 %K Z Language %A Ian J. Hayes %T Specifying the CICS Application Programmer's Interface %S Technical Monographs %V PRG-47 %I Programming Research Group, Oxford University %D July 1985 %K Specification Language, Z %A Mike King %T Formal Methods in Computer Graphics for Film and Television %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1984 %A M.Lieber %T A Specification of a Screen Driven Program Interface %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A Marios Loucaides %T A Problem in Genetics %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1982 %A Wayne C. Luk %T Oscar: A VLSI Layout Assistant %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A C. Carroll Morgan %T Specification of the Cambridge Model Distributed System Name Service %I Distributed Computing Software Project, PRG, Oxford University %D 1982 %A C. Carroll Morgan %T Mailbox Communication in Pascal-M %I Distributed Computing Software Project, PRG, Oxford University %D 1982 %A Gordon A. Rose %A Peter Robinson %T A Case Study in Formal Specifications %J Proc. First Australian Software Engineering Conference %D May 1986 %K Z Language, University, Structure, Specification %A Bernard A. Sufrin %A Jim C.P. Woodcock %T Towards the Formal Specification of a Simple Programming Support Environment %I Programming Research Group, Oxford University %D 1986 %A Bernard A. Sufrin %T Formal Specification of an Electronic Mail System %I Software Engineering Project, PRG, Oxford University %D 1983 %A Bernard A. Sufrin %T A Tutorial Introduction to Relational Algebra %I Programming Research Group, Oxford University %P 35 %D July 1985 %A Bernard A. Sufrin %T Towards Formal Specification of the ICL Data Dictionary %J ICL Technical Journal %D August 1984 %K Z Language %X Field Sufrin 1984 %A Jeevan Urundolil-Kumaran %T Formalisation of Aspects of Office Automation %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A D.I. Walker, ed. %T Aspect: Specification of the Public Tool Interface %I Systems Designers plc %P 314 %D February 1986 Refinement ---------- %A Richard Alexander %T Formal Methods in Critical Protection Systems %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Stephen Blatchford %T Adventure Games - A Formalism and Implementation Method %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1982 %A John Colton %T A Formal Approach to the Development of Signalling System No. 7 %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A Ian D. Cottam %T The Rigorous Development of a System Version Control Database %S Technical Monographs %V PRG-31 %I Programming Research Group, Oxford University %D October 1982 %A Sebastian Danicic %T Specification and Implementation of Secure File System Handling Components %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1980 %A Ian J. Hayes %T An Example of Data Refinement: A Symbol Table %I Programming Research Group, Oxford University %P 14 %D 16th July 1985 %A Androgiannis G. Legatos %T Protocol Specification and Implementation for a Serial Line/Ring Gateway %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A C. Carroll Morgan %T An Example of Data Refinement %I Programming Research Group, Oxford University %P 11 %D 18th July 1985 %A Gloria Quintanilla-Papacostas %T Specification and Rigorous Implementation of the Mathematical Structure Relat %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A Godfrey Raftesath %T Specification and Implementation of a Computer-Based Diary %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Jeff Sanders %T Refinement for Z %I Programming Research Group, Oxford University %P 32 %D September 1985 %A Ib Holm Sorensen %A Bernard A. Sufrin %T Formal Specification and Design of a Simple Assembler %I Programming Research Group, Oxford University %P 20 %A Benson B.C. Tam %T Formal Specification and Implementation of a Distributed Database System %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Bernardo Perez de Lara de la Torre %T Formal Specification and Implementation of an Image Processing System %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 %A ? %T An Example of Data Refinement: Storage Management %I Programming Research Group, Oxford University %P 10 Concurrency ----------- %A Rodric S. Bark %T Concurrency in Graphics Operations Using Quadtree and Octree Data Structures %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Peter Strazdins %T Program Development in CSP %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 %A Theoharis A. Theoharis %T Exploiting Parallelism in the Graphics Pipeline %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1985 Miscellaneous ------------- %A Ian J. Hayes %T Specification Directed Module Testing %S Technical Monographs %V PRG-49 %I Programming Research Group, Oxford University %P 30 %D July 1985 %A John R. Pavel %T The Use of Z Specifications of Protocols for Test Design %R M.Sc. Thesis %I Programming Research Group, Oxford University %D September 1983 ************************ END OF Z FORUM 1.7 *************************