🚀 go-pugleaf

1990 version of GROPE now available
By: Darren New on Wed, 05 Dec 1990 23:51

Re: LOTOS specification of Sliding Window Protocol
By: Harro Kremer on Wed, 21 Nov 1990 08:41

1991 SDL Forum Call for Papers
By: david.j.rypka on Tue, 20 Nov 1990 14:33

Re: Looking for Hayes' Case Studies book
By: Eoin Woods on Tue, 20 Nov 1990 09:48

LOTOS specification of Sliding Window Protocol
By: Hong Cheng on Mon, 19 Nov 1990 04:03

Z questions
By: bwhite on Fri, 16 Nov 1990 21:45

VDM'91 Call for Papers
By: Cliff Jones on Tue, 20 Nov 1990 17:49

Is EPROS available?
By: Pete Young on Mon, 19 Nov 1990 11:20

announcement availability of LOTOS specs
By: Harro Kremer on Wed, 21 Nov 1990 08:57

Re: Difference between Spec and Code?
By: Brendan Mahony on Mon, 12 Nov 1990 00:53

Looking for Hayes' Case Studies book
By: mjl on Fri, 09 Nov 1990 18:26

Re: Difference between Spec and Code
By: Don Cohen on Fri, 09 Nov 1990 23:39

PD spec. tools
By: Rainer Lange on Fri, 09 Nov 1990 13:11

Re: Difference between Spec and Code?
By: Jacob L. Cybulski on Fri, 09 Nov 1990 03:46

Reference required.
By: Cormac Sreenan on Tue, 06 Nov 1990 10:42

Z User Meeting 1990
By: Joan.Arnold on Wed, 07 Nov 1990 15:18

Re: Difference between Spec and Code?
By: Lindsay Groves on Thu, 08 Nov 1990 03:58

SafetyNet Conference - proceedings
By: Cliff Jones on Tue, 06 Nov 1990 15:54

Re: Difference between Spec and Code?
By: Cliff Jones on Tue, 06 Nov 1990 15:49

Re: VDM standardisation
By: Cliff Jones on Tue, 06 Nov 1990 09:12

Re: VDM standardisation
By: Cliff Jones on Tue, 06 Nov 1990 08:29

Re: Difference between Spec and Code?
By: Jacob L. Cybulski on Wed, 07 Nov 1990 00:16

Re: Difference between Spec and Code?
By: George Mitchell on Tue, 06 Nov 1990 15:04

Re: Difference between Spec and Code?
By: George Mitchell on Tue, 06 Nov 1990 14:55

Re: Difference between Spec and Code?
By: Brendan Mahony on Tue, 06 Nov 1990 03:31

Re: Difference between Spec and Code?
By: Lindsay Groves on Tue, 06 Nov 1990 02:01

Call for papers SIGSOFT '91
By: Nancy Leveson on Mon, 05 Nov 1990 07:30

(New) LaTeX macros for VDM
By: Graeme I Parkin on Tue, 30 Oct 1990 10:21

Re: Difference between Spec and Code?
By: M.P. Ward on Wed, 31 Oct 1990 10:23

Re: Difference between Spec and Code? Who cares?
By: Jon Jacky on Tue, 30 Oct 1990 19:29

VDM standardisation
By: Pete Young on Mon, 29 Oct 1990 12:37

Re: Difference between Spec and Code? Who cares?
By: Brendan Mahony on Sun, 28 Oct 1990 23:59

Re: Difference between Spec and Code? Who cares?
By: Joshua D. Guttman on Thu, 25 Oct 1990 21:53

Difference between Spec and Code? Who cares?
By: Brian L. Kahn on Thu, 25 Oct 1990 18:22

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Bob McKay on Fri, 26 Oct 1990 00:40

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Ching-Tsun Chou on Wed, 24 Oct 1990 09:08

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Brendan Mahony on Wed, 24 Oct 1990 06:59

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Tom Gardner on Tue, 23 Oct 1990 07:58

Re: Against executable specifications (Re: specifying OBJ in itself)
By: victor yodaiken on Tue, 23 Oct 1990 12:39

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Russell Turpin on Mon, 22 Oct 1990 22:55

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Ching-Tsun Chou on Mon, 22 Oct 1990 20:22

Re: Against executable specifications (Re: specifying OBJ in itself)
By: victor yodaiken on Mon, 22 Oct 1990 12:30

Re: Z Notation
By: Jonathan Bowen on Mon, 22 Oct 1990 08:19

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Brendan Mahony on Sun, 21 Oct 1990 05:11

New in the formal world
By: Gudmundur Joekulsson on Fri, 19 Oct 1990 14:23

Z Notation
By: Chris Baldock on Fri, 19 Oct 1990 20:31

Re: Against executable specifications (Re: specifying OBJ in itself)
By: victor yodaiken on Fri, 19 Oct 1990 12:35

SDL Forum
By: Paul Johnson on Thu, 18 Oct 1990 08:55

Re: Against executable specifications (Re: specifying OBJ in itself)
By: Brendan Mahony on Thu, 18 Oct 1990 05:44

Against executable specifications (Re: specifying OBJ in itself)
By: Oliver Schoett on Wed, 17 Oct 1990 16:00

FORTE 90
By: Arturo Azcorra on Tue, 16 Oct 1990 11:03

Re: specifying OBJ in itself
By: leland.f.derbenwick on Fri, 12 Oct 1990 17:28

Re: specifying OBJ in itself
By: Angelica M. Kappel on Thu, 11 Oct 1990 10:59

specifying OBJ in itself
By: Jack Campin on Wed, 03 Oct 1990 15:53

FORTE 90
By: Arturo Azcorra on Tue, 02 Oct 1990 18:37

Research positions in Queensland, Australia
By: John Staples on Fri, 28 Sep 1990 05:59

Re: generating language bindings
By: Gert Veltink on Mon, 24 Sep 1990 09:03

generating language bindings
By: Rowland Reed on Fri, 21 Sep 1990 21:07

PEPM call for papers
By: Olivier Danvy on Wed, 19 Sep 1990 15:36

programme of FORTE 90
By: Arturo Azcorra on Mon, 17 Sep 1990 11:03

Re: parallel specification
By: Ed Brinksma on Thu, 13 Sep 1990 08:11

parallel specification
By: Malte Grosse on Wed, 12 Sep 1990 09:29

5th Annual Z User Meeting - call for papers
By: zforum on Fri, 07 Sep 1990 17:01

(UK) SafetyNet Conference
By: Cliff Jones on Wed, 05 Sep 1990 13:51

Re: References to 'Z' specification language
By: Antoni Diller <DillerAR> on Wed, 05 Sep 1990 11:01

Re: References to 'Z' specification language
By: news on Wed, 05 Sep 1990 08:59

Re: Your suggestions are needed in teaching Formal Spec
By: Cliff Jones on Sun, 09 Sep 1990 09:32

Summary of Respones to: Suggestions for Formal Spec Textbook
By: mariam on Fri, 07 Sep 1990 00:22

Renaming in Standard Z
By: Andy Gravell on Mon, 03 Sep 1990 10:13

Re: Texts on algebraic specification?
By: Tim Clement on Wed, 29 Aug 1990 17:14

Knowledge-Based Software Development Conference
By: hoebel on Wed, 29 Aug 1990 13:19

Re: References to 'Z' specification language
By: Jon Jacky on Tue, 04 Sep 1990 17:28

Re: References to 'Z' specification language
By: Pete Young on Mon, 03 Sep 1990 09:11

Re: References to 'Z' specification language
By: Anthony Lee on Sun, 02 Sep 1990 01:06

Re: References to 'Z' specification language
By: Steven Ericsson Zenith on Fri, 31 Aug 1990 04:42

References to 'Z' specification language
By: Mike Crooks on Thu, 30 Aug 1990 11:40

Re: Your suggestions are needed in teaching Formal Spec
By: Cliff Jones on Mon, 03 Sep 1990 12:54

Your suggestions are needed in teaching Formal Spec
By: mariam on Fri, 31 Aug 1990 19:00

Texts on algebraic specification?
By: Tim Clement on Tue, 21 Aug 1990 15:57

Re: Something's backwards here...
By: "Steve" Stevenson on Mon, 20 Aug 1990 13:32

Something's backwards here...
By: Doug Roberts on Thu, 16 Aug 1990 22:23

VDM Book (Teaching Notes)
By: Cliff Jones on Tue, 14 Aug 1990 09:02

Re: Formal Specification (more...)
By: mariam on Thu, 09 Aug 1990 23:39

Re: Formal models of Specifications
By: mariam on Wed, 08 Aug 1990 17:31

5th SDL FORUM: Introduction and Call for papers
By: Paul Tilanus on Thu, 09 Aug 1990 08:06

Techniques used to Prioritise Requirements
By: Nigel Read on Thu, 09 Aug 1990 08:50

Formal models of Specifications
By: Hanan Lutfiyya on Mon, 06 Aug 1990 15:47

KBSA-5 Conference Program
By: hoebel on Thu, 02 Aug 1990 21:36

Re: Petri nets as a CCC
By: S. Mantha (co-op) on Tue, 31 Jul 1990 18:19

Re: Is VDM case studies book out yet?
By: Michael Durket on Wed, 01 Aug 1990 17:58

Re: Is VDM case studies book out yet?
By: Brian Monahan on Tue, 31 Jul 1990 17:09

Re: Is VDM case studies book out yet?
By: Cliff Jones on Tue, 31 Jul 1990 15:38

Re: Is VDM case studies book out yet?
By: Cliff Jones on Tue, 31 Jul 1990 06:44

RE: Is VDM case studies book out yet?
By: Mark Ardis on Mon, 30 Jul 1990 17:31

Re: Petri nets as a CCC
By: S. Mantha (co-op) on Tue, 31 Jul 1990 15:37

Re: Is VDM case studies book out yet?
By: Jack Campin on Mon, 30 Jul 1990 12:04

Re: Petri nets as CCCs
By: Mr David Murphy on Fri, 27 Jul 1990 18:16

Petri nets as a CCC
By: Jack Campin on Fri, 27 Jul 1990 16:31

Re: Seeking formal description of Meta-IV
By: Cliff Jones on Sun, 29 Jul 1990 07:28

Is VDM case studies book out yet?
By: Michael Durket on Fri, 27 Jul 1990 16:34

SafetyNet'90 Conference: CHANGE OF VENUE
By: Cliff Jones on Thu, 19 Jul 1990 17:26

Seeking formal description of Meta-IV
By: Frank Weber on Tue, 24 Jul 1990 14:22

Proof rules for Angelic choice
By: Gary Leavens on Mon, 16 Jul 1990 21:42

New language for parallel computation - SEZ.YALE.
By: Steven Ericsson Zenith on Thu, 12 Jul 1990 14:25

How does formal specification tie in with OOD/OOP?
By: Stuart Hungerford on Wed, 11 Jul 1990 06:37

"Report on the Larch Shared Language, Version 2.3"
By: Jim Horning on Tue, 10 Jul 1990 19:53

"Debugging Larch Shared Language Specifications"
By: Jim Horning on Tue, 10 Jul 1990 19:43

KBSA_5 Conference Program Announcement
By: hoebel Call For Participation an... on Tue, 10 Jul 1990 13:28

Re: Proof rules for angelic choice?
By: Brendan Mahony on Wed, 04 Jul 1990 04:48

Re^2: Linear Algebra and Specifications
By: "Steve" Stevenson on Tue, 03 Jul 1990 17:33

Re: Linear Algebra and Specifications
By: John W. Baugh Jr. on Tue, 03 Jul 1990 15:48

Re: Linear Algebra and Specifications
By: "Steve" Stevenson on Tue, 03 Jul 1990 13:28

Re: Proof rules for angelic choice?
By: Arshad Mahmood on Sat, 30 Jun 1990 10:11

Linear Algebra and Specifications
By: John W. Baugh Jr. on Sat, 30 Jun 1990 18:22

Re: Proof rules for angelic choice?
By: Brendan Mahony on Thu, 28 Jun 1990 02:11

Re: Proof rules for angelic choice?
By: J{rvinen Hannu-Matti on Thu, 28 Jun 1990 06:40

Proof rules for angelic choice?
By: Gary Leavens on Wed, 27 Jun 1990 15:14

PSTV X - 10th International Symposium
By: Peter Koppstein on Mon, 07 May 1990 18:34

Re: Workshop on VDM application ** MISSING DATE GIVEN **
By: Cliff Jones on Thu, 07 Jun 1990 10:36

Re: specification problem using Estelle
By: Darren New on Thu, 07 Jun 1990 19:53

Workshop on VDM application
By: Cliff Jones on Wed, 06 Jun 1990 08:49

specification problem using Estelle
By: Chi-Sharn Wu on Thu, 07 Jun 1990 17:49

extracting spec of existing system
By: Chuck Howell on Tue, 29 May 1990 19:29

Re: Info on Data Flow Graphs
By: Angelika Buth on Fri, 25 May 1990 08:08

AMAST'93 Call for Papers (plain ascii)
By: Pippo Scollo on Fri, 04 Sep 1992 14:57

AMAST'93 Call for Papers (latex)
By: Pippo Scollo on Fri, 04 Sep 1992 14:49

Re: wanted: books/paper on formal methods
By: Martin Weigele on Sun, 30 Aug 1992 23:28

Re: Looking for paper about quantification
By: sjv on Thu, 03 Sep 1992 12:26