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 3.5 Message-ID: <21 OCT 1988 16:54:14 RM@RSRE> Date: 21 Oct 88 16:45:14 GMT Date-Received: 21 Oct 88 16:48:43 GMT Lines: 71 21st October 1988 Z FORUM Volume 3 Issue 5 ----------------- ------- ---------------- Today's Topics -------------- Introduction to Formal Methods Course Z Bibliography ---------------------------------------------------------------------- From: Colin Grant Date: Thu, 29 Sep 88 19:09:57 BST Subject: Introduction to Formal Methods Course +--------------------------------+---------------------------------+ |Colin Grant |Phone: +44 223 66343 | |Logica Cambridge Limited | | |Betjeman House |UUCP : colin@logcam.co.uk | |104 Hills Road | colin@logcam.uucp | |Cambridge CB2 1LQ | ..!mcvax!ukc!logcam!colin | +--------------------------------+---------------------------------+ Logica Cambridge Ltd are running a course on Introduction to Formal Methods from November 23rd to 25th at the University Centre, Cambridge This course aims to provide an introduction to formal methods for managers and senior technical staff. The course will give an understanding of what formal methods are and the strengths of the various approaches. Special attention will be paid to management issues such as the impact of the use of formal methods on the software development process and the provision of skilled staff and tools. The course will run for three days and provide a comprehensive introduction to the different methods, their use and impact upon the software development process. The cost of the course is 500 pounds plus VAT which covers course fees and materials, lunches and evening meals. For further information and booking details please contact Julia Broadhurst Logica Cambridge Ltd Betjeman House 104 Hills Road Cambridge CB2 1LQ Tel: 0223 - 66343 Or contact Rosalind Barden by email at rosalind@logcam.co.uk ______________________________________________________________________________ From: Ruaridh Macdonald (on UK.MOD.RSRE) Date: Fri, 21 Oct 88 16:23 Subject: Z Bibliography Remember that a bibliography of papers and books relating to Z is available from the archive server at Oxford. In order to keep it useful and up to date, could you please send me the details of such papers and books for inclusion in the bibliography. To remind you of the sort of material already included, topics cover the Z language, specifications using Z, refinement of Z specifications, comparison of Z with other languages or methods, etc. ************************* END OF Z FORUM 3.5 *************************