🚀 go-pugleaf

Re: recommended texts
By: mjl on Tue, 06 Mar 1990 19:52

Re: recommended texts
By: Roger H. Goun on Tue, 06 Mar 1990 19:24

Re: recommended texts
By: Jon Jacky on Mon, 05 Mar 1990 18:59

recommended texts
By: dm Dave Mankins on Mon, 05 Mar 1990 04:02

Where are the articles?
By: mjl on Sat, 03 Mar 1990 22:45

Formal specification translators
By: dsg.npl.co.uk on Mon, 11 Jan 1993 10:08

Z and Larch
By: Paolo Ciancarini on Tue, 26 Jan 1993 15:46

Call for experience reports: FM applied to large-scale projects
By: Thomas Lindner on Tue, 26 Jan 1993 09:35

ARC:Intershake/Interkey/Interview/ Manuals Needed.
By: Louis Meadows on Mon, 25 Jan 1993 19:04

Uninterpreted modelling system
By: Gary Putlock on Thu, 21 Jan 1993 15:02

SDL CASE tools available ?
By: Tim Liddelow on Sun, 24 Jan 1993 06:02

CCITT documents wanted
By: Karlis Cerans on Sat, 23 Jan 1993 13:32

Specifications in UNITY
By: Weimin Ma on Sat, 23 Jan 1993 05:16

Historical references
By: Cliff B Jones on Fri, 22 Jan 1993 17:22

Summer School: TYPES FOR PROOFS AND PROGRAMS
By: Lennart Augustsson on Thu, 21 Jan 1993 15:53

FME'93 Call For Posters
By: Peter Gorm Larsen on Thu, 21 Jan 1993 14:38

Re: Graphical tools for Petri net simulation
By: Eoin Woods on Mon, 11 Jan 1993 13:00

Graphical tools for Petri net simulation
By: Ferrol Rawson Blackmon on Sun, 10 Jan 1993 04:58

Re: Formal spec languages on top of C/C++ ?
By: Jeroen van de Lagemaat on Fri, 08 Jan 1993 10:05

Re: Formal spec languages on top of C/C++ ?
By: Gary Leavens on Thu, 07 Jan 1993 16:19

Re: Formal spec languages on top of C/C++ ?
By: Rick Kuhn on Thu, 07 Jan 1993 14:44

Formal spec languages on top of C/C++ ?
By: Kanth Miriyala on Wed, 06 Jan 1993 21:27

Re: Theoretical limitations of algebraic specifications?
By: Don Sannella on Wed, 06 Jan 1993 14:33

Re: Theoretical limitations of algebraic specifications?
By: Steven Kearns on Tue, 05 Jan 1993 06:21

Publication announcement on Larch research paper
By: James Mason on Mon, 04 Jan 1993 20:58

OBJ
By: Craig Morrison CS89 on Fri, 28 Jun 1991 10:44

Formal Reasoning System (Mural) offered to Academics
By: Ian Cottam on Thu, 27 Jun 1991 11:26

Code to Specifications
By: Dr. Betty Cheng on Wed, 26 Jun 1991 20:04

Can you share your specifications?
By: Pablo A. Straub on Sat, 29 Jun 1991 18:55

Report on Larch/Modula-3 interface language available
By: Kevin Jones on Wed, 26 Jun 1991 23:07

Re: Structuring large spec VDM vs Z ? (was Re: VDM vs Z notation?)
By: Edmund Kazmierczak on Tue, 25 Jun 1991 09:32

Formal Specifications as a Basis for Software Testing
By: Ian Bridge on Tue, 25 Jun 1991 14:57

IEEE papers, where??
By: Juergen Weigert on Mon, 24 Jun 1991 14:02

Rapid prototyping of formal specifications
By: Stephen Gilmore on Fri, 21 Jun 1991 16:40

C A L L F O R P A P E R S : 5th REFINEMENT WORKSHOP
By: Brian Monahan on Tue, 25 Jun 1991 17:30

Re: Z, VDM and non-functional requirements
By: Richard Wallace on Thu, 20 Jun 1991 16:08

LOTOS semantics - detailed questions/issues
By: Mark Vigder on Wed, 19 Jun 1991 21:45

Re: VDM vs Z notation? (misinformation :-)
By: Mark S Madsen on Wed, 19 Jun 1991 09:24

Structuring large spec VDM vs Z ? (was Re: VDM vs Z notation?)
By: Anthony Lee on Wed, 19 Jun 1991 03:36

Re: VDM vs Z notation?
By: Elspeth Cusack on Tue, 18 Jun 1991 15:24

Re: VDM vs Z notation?
By: Mike Spivey on Mon, 17 Jun 1991 08:54

Re: Reverse-engineering
By: Kevin.Lano on Mon, 17 Jun 1991 07:46

Reverse engineering - obtaining a formal spec from existing systems
By: Anthony Lee on Sun, 16 Jun 1991 10:20

Re: VDM vs Z notation?
By: S Matthews on Wed, 19 Jun 1991 11:23

Z, VDM and non-functional requirements
By: Kearton Rees on Wed, 19 Jun 1991 13:36

David Harel at Manchester
By: Tim Clement on Tue, 18 Jun 1991 16:44

Conference Announcement: 6th KBSE
By: hoebel on Sun, 16 Jun 1991 17:09

Re: Problem with LOTOS specification
By: Harro Kremer on Fri, 14 Jun 1991 13:53

Re: Problem with LOTOS specification
By: David Skeen on Fri, 14 Jun 1991 20:33

Re: VDM vs Z notation?
By: Collin Park on Thu, 13 Jun 1991 23:03

Re: Problem with LOTOS specification
By: Brendan Mahony on Fri, 14 Jun 1991 04:18

Re: Problem with LOTOS specification
By: David Skeen on Thu, 13 Jun 1991 14:50

Re: Skepticism Towards Specifications
By: Brendan Mahony on Thu, 13 Jun 1991 01:11

Re: Problem with LOTOS specification
By: Brendan Mahony on Wed, 12 Jun 1991 23:55

Skepticism Towards Specifications
By: Jim Showalter on Wed, 12 Jun 1991 20:33

Re: Object-Z references wanted
By: Formal Mthds Grp on Wed, 12 Jun 1991 03:29

Problem with LOTOS specification
By: David Skeen on Wed, 12 Jun 1991 00:23

Re: Object-Z references wanted
By: 24122-Haim Kilov(L028)m000 on Mon, 10 Jun 1991 02:02

Object-Z references wanted
By: Chris Flatters on Fri, 07 Jun 1991 23:05

Z spec for Producer/Consumer
By: wkh on Fri, 07 Jun 1991 15:03

Multiple Views of Specifications
By: paulA on Sat, 08 Jun 1991 12:41

Re: VDM vs Z notation?
By: Collin Park on Wed, 05 Jun 1991 17:24

Advanced Z Course on Proof
By: Joan.Arnold on Mon, 03 Jun 1991 11:46

Re: Wanted: Lotos latex macro and emacs mode
By: Ken Warkentyne on Fri, 31 May 1991 17:14

Re: VDM vs Z notation?
By: Stephen Gilmore on Fri, 31 May 1991 16:07

Re: TeX macros for Z ...
By: Jonathan Bowen on Fri, 31 May 1991 11:40

Re: Complexity in making changes to requirements.
By: overmyer on Fri, 31 May 1991 01:55

IFIP PSTV XI Advance Program
By: Lars-}ke Fredlund on Wed, 05 Jun 1991 15:11

VDM vs Z notation?
By: Collin Park on Thu, 30 May 1991 15:10

Wanted: Lotos latex macro and emacs mode
By: Ken Warkentyne on Thu, 30 May 1991 08:07

Z User Meeting - Call for Papers
By: Joan.Arnold on Tue, 28 May 1991 13:32

TeX macros for Z ...
By: wkh on Tue, 28 May 1991 15:19

A Larch style interface language for Smalltalk-80
By: Gary Leavens on Tue, 28 May 1991 20:40

A Larch interface language for concurrency
By: Jeannette Wing on Tue, 28 May 1991 16:29

Re: Complexity in making changes to requirements.
By: Brendan Mahony on Fri, 31 May 1991 00:06

Re: Complexity in making changes to requirements.
By: Jim Showalter on Thu, 30 May 1991 17:13

Complexity in making changes to requirements.
By: David Yip on Thu, 30 May 1991 12:35

Larch Shared Language -> LP
By: John W. Baugh Jr. on Thu, 23 May 1991 21:24

Re: The best tutorial on formal specifications
By: Don Sannella on Wed, 22 May 1991 21:18

Re: The best tutorial on formal specifications
By: Pete Young on Wed, 22 May 1991 08:56

Re: The best tutorial on formal specifications
By: Arie v. Deursen on Wed, 22 May 1991 09:21

Re: The best tutorial on formal specifications
By: Jack Campin on Tue, 21 May 1991 13:28

Re: The best tutorial on formal specifications
By: 24122-Haim Kilov(L028)m000 on Tue, 21 May 1991 14:52

Re: Tutorial papers
By: Adolfo Socorro on Tue, 21 May 1991 08:30

Re: The best tutorial on formal specifications
By: Pablo A. Straub on Mon, 20 May 1991 22:40

Software Requirements Specification Wanted
By: Sooyong Park on Sat, 18 May 1991 20:23

Re: partial, static analyses for rev. engineering, etc
By: Bruce Wieand on Fri, 18 Dec 1992 23:46

Postdoc vacancy for multi-rate / protocol IC-design verification
By: T. Kostelijk 43897 on Fri, 18 Dec 1992 15:15

Re: FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION (SUMMARY of RESPONSES)
By: Max Elliot on Fri, 18 Dec 1992 00:47

partial, static analyses for rev. engineering, etc
By: Daniel Jackson on Thu, 17 Dec 1992 21:48

Some papers of the FME'93 conference programme
By: roberto on Thu, 17 Dec 1992 12:13

FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION (SUMMARY of RESPONSES)
By: Ajit K. Jena on Thu, 17 Dec 1992 09:38

Corrections to "A Larch Specification of Copying Garbage Collection"
By: Scott Nettles on Wed, 16 Dec 1992 16:38

Re: Semantic definition style
By: Peter D. Mosses on Mon, 23 Nov 1992 06:09

Impossible Specs (was: Algebra and Semantic definition)
By: Jim Grundy on Mon, 23 Nov 1992 09:26

Re: Semantic definition style
By: victor yodaiken on Fri, 20 Nov 1992 13:02

Re: "Algebra": and Re: Semantic definition style
By: victor yodaiken on Fri, 20 Nov 1992 21:47

Re: semantics
By: Michel Moreaux on Fri, 20 Nov 1992 09:37

Re: Semantic definition style
By: Peter D. Mosses on Fri, 20 Nov 1992 08:56

Re: Testing
By: Steven J. Zeil on Thu, 19 Nov 1992 21:45

Re: Semantic definition style
By: Piotr Rudnicki on Thu, 19 Nov 1992 16:22

Are the POSIX specs. available via anon. FTP ?
By: Tom Leitner on Thu, 19 Nov 1992 06:38

semantics
By: Joan Krone on Wed, 18 Nov 1992 04:24

Re: Semantic definition style
By: Peter D. Mosses on Wed, 18 Nov 1992 08:33

Re: Semantic definition style
By: William F Ogden on Wed, 18 Nov 1992 01:04

Re: "Algebra": and Re: Semantic definition style
By: William F Ogden on Wed, 18 Nov 1992 01:47

Formal specification of matrix operations and robotics applications
By: Gregory Abowd on Mon, 16 Nov 1992 20:45

Re: Semantic definition style
By: Peter D. Mosses on Mon, 16 Nov 1992 10:42

Semantic definition style
By: Cliff B Jones on Sun, 15 Nov 1992 14:52

Specification of OS kernel?
By: Akira Mori on Mon, 16 Nov 1992 07:30

"Algebra": and Re: Semantic definition style
By: victor yodaiken on Sun, 15 Nov 1992 19:08

Re: Formal Semantics of ADA?
By: Sigurd Meldal on Tue, 15 Dec 1992 12:14

FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION...
By: Ajit K. Jena on Tue, 15 Dec 1992 07:27

Formal Description of Multimedia Synchronization Mechanisms
By: Ajit K. Jena on Sat, 12 Dec 1992 05:13

Re: Formal Semantics of ADA?
By: Greg Bond on Mon, 14 Dec 1992 18:39

Formal Semantics of ADA?
By: Wolfgang Mueller on Mon, 14 Dec 1992 16:48

Re: Theoretical limitations of algebraic specifications?
By: J. E. Fritz on Sun, 03 Jan 1993 16:54

Re: Theoretical limitations of algebraic specifications?
By: Steven Kearns on Thu, 31 Dec 1992 05:41

Re: Theoretical limitations of algebraic specifications?
By: J. E. Fritz on Fri, 01 Jan 1993 20:11

Theoretical limitations of algebraic specifications?
By: A. Jeff Offutt on Thu, 31 Dec 1992 00:04

How to get to know LOTOS!!
By: Jeroen van de Lagemaat on Wed, 23 Dec 1992 15:57

Re: ACM SIGSOFT '93: Foundations of Software Engineering (CFP)
By: Nancy Leveson on Tue, 22 Dec 1992 14:57

Game of Life in CSP
By: Graeme Smith on Mon, 13 May 1991 06:41

The best tutorial on formal specifications
By: Pablo A. Straub on Fri, 10 May 1991 19:50

Forward references in denotational semantics
By: Christian S. Collberg on Fri, 10 May 1991 09:17

LOTOS BNF
By: Ron Casselman on Thu, 09 May 1991 11:23

BCS--FACS RAISE TUTORIAL
By: Brian Monahan on Thu, 09 May 1991 13:09

Divergences in CSP
By: Todd Fine on Tue, 07 May 1991 00:52