From rbotting@wiley.csusb.edu Tue Apr 26 15:27 PDT 1994 Return-Path: Received: from wiley.csusb.edu by silicon.csci.csusb.edu (5.0/SMI-SVR4) id AA17727; Tue, 26 Apr 94 15:27:38 PDT Received: by wiley.csusb.edu (5.67a/1.34) id AA21410; Tue, 26 Apr 1994 15:27:56 -0700 Date: Tue, 26 Apr 1994 15:27:56 -0700 From: rbotting@wiley.csusb.edu ("Dr. Richard Botting") Message-Id: <199404262227.AA21410@wiley.csusb.edu> To: dick@silicon.csci.csusb.edu Subject: (fwd) Validating Z specs Newsgroups: comp.specification.z Content-Type: text Content-Length: 1415 Status: R Newsgroups: comp.specification.z Path: csus.edu!wupost!howland.reston.ans.net!EU.net!uknet!comlab.ox.ac.uk!comlab.oxford.ac.uk From: M.Fox@teesside.ac.uk (M Fox Research) Subject: Validating Z specs Message-ID: <28563.9404251422@hector> Date: Mon, 25 Apr 94 15:22:49 BST X-Mailer: mail-news 2.0.3 Lines: 17 Dear All, I am a research assistant at the University of Teesside and am currently in my second year of a Ph.D in the area of methods integration. I have identified the need for a piece of research into the validation of Z specifications. I have a LaTeX version of an intermediate report of my research which will act as a basis for a paper to be submitted at the methods integration conference to be held in Florida. I would be extremely grateful for any comments that people may have. If you are interested in reading my report it can be obtained via anonmous ftp: ADDRESS: ftp.tees.ac.uk DIRECTORY: /pub/methods.integration FILE: transfer.ps Thanks in advance, Mike Fox. -- rbotting@wiley.csusb.edu. rbotting::=`Dr. Richard J. Botting`, wiley::=`Faculty EMail System`, csusb::=`California State University, San Bernardino, CA 92407, USA`. Aka::=`dick@doc.csci.csusb.edu`. Disclaimer::=`CSUSB may or may not agree with this message`. Copyright(1994)::=`Copy and use as you wish as long as you include this copyright and signature`. Ask me about our new Masters degree in Computer Science! From rbotting@wiley.csusb.edu Tue Apr 26 15:28 PDT 1994 Return-Path: Received: from wiley.csusb.edu by silicon.csci.csusb.edu (5.0/SMI-SVR4) id AA17731; Tue, 26 Apr 94 15:28:49 PDT Received: by wiley.csusb.edu (5.67a/1.34) id AA21446; Tue, 26 Apr 1994 15:29:08 -0700 Date: Tue, 26 Apr 1994 15:29:08 -0700 From: rbotting@wiley.csusb.edu ("Dr. Richard Botting") Message-Id: <199404262229.AA21446@wiley.csusb.edu> To: dick@silicon.csci.csusb.edu Subject: (fwd) extensions of Z Newsgroups: comp.specification.z Content-Type: text Content-Length: 2736 Status: R Newsgroups: comp.specification.z Path: csus.edu!wupost!math.ohio-state.edu!howland.reston.ans.net!EU.net!uknet!comlab.ox.ac.uk!di.ufpe.br From: ink@di.ufpe.br (Ismar Neumann Kaufman) Subject: extensions of Z In-Reply-To: Sean Matthews's message of Sun, 24 Apr 94 03:01:43 +0100 <9946.9404240201@comlab.ox.ac.uk> Message-ID: <9404251826.AA00914@di.ufpe.br> X-Envelope-To: zforum@comlab.oxford.ac.uk Content-Transfer-Encoding: 7BIT Date: Mon, 25 Apr 1994 15:26:20 -0500 (EST) X-Mailer: mail-news 2.0.3 Lines: 47 I'm looking for papers on extending Z in various ways: temporal logic, ccs, etc. ... Sean Matthews Object-Z incorporates temporal logics and the best source I know about it is the technical report written by the Queensland group. MaMooZ gives a new semantics for Z based on modal action logic and the reference is: Article title : Modal Action Logic in A Practical Specification Language Authors : Ismar Neumann Kaufman & Silvio Lemos Meira Title : Algebraic Methodology and Software Technology (AMAST'93) Subtitle : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993 Editors : M. Nivat, C. Rattray, T. Rus and G. Scollo Publisher : Springer-Verlag Place : London Series : Workshops in Computing We are currently writing a technical report entitled "Some Approaches for Time and Z" comparing what have been published on the matter using a producer-buffer-consumer system. It is planned to be ready before may, 13. I will make it available by ftp and mail you a note. Please, mail me if I can help you. Ismar +----------------------------------------------------------------+ | Ismar Neumann Kaufman Universidade Federal de Pernambuco | | ink@di.ufpe.br Departamento de Informatica | | phone: +55 81 271 4925 (FAX & voice)| +----------------------------------------------------------------+ | Any printed material should be sent to this address, please: | | Av. Boa Viagem, 6500/801A, Boa Viagem, Recife-PE, Brasil | | 51030-000 | +----------------------------------------------------------------+ -- rbotting@wiley.csusb.edu. rbotting::=`Dr. Richard J. Botting`, wiley::=`Faculty EMail System`, csusb::=`California State University, San Bernardino, CA 92407, USA`. Aka::=`dick@doc.csci.csusb.edu`. Disclaimer::=`CSUSB may or may not agree with this message`. Copyright(1994)::=`Copy and use as you wish as long as you include this copyright and signature`. Ask me about our new Masters degree in Computer Science!