Page 1 of 2 • 96 total threads
Discussion Threads in comp.specification.z
96 threads • Page 1 of 2| Thread Subject | Last Message |
|---|---|
|
FMOODS'96 - Final Call For Papers
By: Joubine Dustzadeh on Tue, 14 Nov 1995 16:59 |
31 Years ago
0 replies |
|
comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Wed, 01 Dec 1993 02:00 |
32 Years 11 Months ago
0 replies |
|
Real-Time Formal Methods Research Position
By: Ian Hayes I.J. on Mon, 06 Sep 1993 06:44 |
33 Years 2 Months ago
0 replies |
|
comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Thu, 01 Jul 1993 01:00 |
33 Years 4 Months ago
0 replies |
|
Re: Trees in Z (was: common data structures in Z
By: Mike Wray on Thu, 28 Jan 1993 08:44 |
33 Years 9 Months ago
0 replies |
|
New Font Selection Scheme and fuzz.sty
By: Kokichi Futatsugi on Thu, 28 Jan 1993 02:45 |
33 Years 9 Months ago
0 replies |
|
Trees in Z (was: common data structures in Z)
By: Jon Jacky on Mon, 25 Jan 1993 19:50 |
33 Years 9 Months ago
2 replies |
|
Z and other design methodologies
By: Mike Kirby on Tue, 26 Jan 1993 15:46 |
33 Years 9 Months ago
1 replies |
|
Z font for Microsoft Word
By: Pete Young on Wed, 27 Jan 1993 14:01 |
33 Years 9 Months ago
0 replies |
|
J.R. Abrial e-mail address and B references
By: Michel Moreaux on Thu, 21 Jan 1993 16:03 |
33 Years 9 Months ago
1 replies |
|
Z specification of Haskell-like continuations
By: howard s goodman on Tue, 12 Jan 1993 10:02 |
33 Years 10 Months ago
0 replies |
|
(none)
By: zedan on Mon, 11 Jan 1993 10:01 |
33 Years 10 Months ago
0 replies |
|
comments & experience
By: Pin CHEN on Fri, 08 Jan 1993 19:37 |
33 Years 10 Months ago
0 replies |
|
timed Z
By: DAVE TURNER on Fri, 08 Jan 1993 12:07 |
33 Years 10 Months ago
0 replies |
|
Z specification of Haskell-like continuations
By: Howard S. Goodman on Fri, 08 Jan 1993 11:30 |
33 Years 10 Months ago
0 replies |
|
Re: comments & experience
By: "Jeffrey X. Yu" on Fri, 08 Jan 1993 05:38 |
33 Years 10 Months ago
0 replies |
|
Z Animation in Prolog
By: Frazer Middleton on Tue, 05 Jan 1993 16:28 |
33 Years 10 Months ago
2 replies |
|
Cleanroom and Z
By: Glyn Normington on Thu, 07 Jan 1993 08:53 |
33 Years 10 Months ago
0 replies |
|
(none)
By: "R.Groves" on Wed, 06 Jan 1993 16:21 |
33 Years 10 Months ago
0 replies |
|
X11 interface for writing Z specifications
By: Olivier (Bart) Dehon on Wed, 06 Jan 1993 09:43 |
33 Years 10 Months ago
0 replies |
|
The ZIP project
By: Rosalind Barden on Tue, 05 Jan 1993 14:47 |
33 Years 10 Months ago
0 replies |
|
Specific use questions on Z (and small editorial...)
By: "Richard Wallace, Digital Equipm... on Fri, 01 Jan 1993 18:18 |
33 Years 10 Months ago
0 replies |
|
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Michael Hinchey on Fri, 18 Dec 1992 14:09 |
33 Years 10 Months ago
3 replies |
|
comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Fri, 01 Jan 1993 02:00 |
33 Years 10 Months ago
0 replies |
|
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Rosalind Barden on Fri, 18 Dec 1992 11:18 |
33 Years 11 Months ago
0 replies |
|
Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Michael Hinchey on Thu, 17 Dec 1992 12:39 |
33 Years 11 Months ago
2 replies |
|
Formal Methods Newsgroups? VDM Newsgroups?
By: Bill Birch on Wed, 18 Nov 1992 12:45 |
33 Years 12 Months ago
1 replies |
|
Z animation in Prolog
By: JBWORDS on Thu, 19 Nov 1992 09:55 |
33 Years 12 Months ago
0 replies |
|
PSFIG and Z spec compatability
By: Colin Dunlop on Fri, 13 Nov 1992 14:56 |
34 Years ago
1 replies |
|
New Series in Computing
By: Giuseppe Scollo on Thu, 12 Nov 1992 16:44 |
34 Years ago
0 replies |
|
"wargames" dialler
By: robert winkler on Sun, 08 Nov 1992 09:24 |
34 Years ago
0 replies |
|
New Font Selection Scheme and fuzz.sty
By: Mike.Spivey on Thu, 05 Nov 1992 09:23 |
34 Years ago
0 replies |
|
new_address
By: P. Meredith on Tue, 03 Nov 1992 09:05 |
34 Years ago
0 replies |
|
CfP: AMAST'93 (update, latex)
By: Giuseppe Scollo on Mon, 02 Nov 1992 21:38 |
34 Years ago
0 replies |
|
CfP: AMAST'93 (update, plain text)
By: Giuseppe Scollo on Mon, 02 Nov 1992 21:29 |
34 Years ago
0 replies |
|
Generic Predicates??
By: Todd Fine on Mon, 02 Nov 1992 15:47 |
34 Years ago
0 replies |
|
Mike Spivey's zed-style for LaTeX
By: Peter J Knaggs on Tue, 27 Oct 1992 10:36 |
34 Years ago
0 replies |
|
Visibility lists in Object-Z
By: Wilhelm Hasselbring on Fri, 16 Oct 1992 14:22 |
34 Years 1 Month ago
0 replies |
|
Animation of formal specifications in a functional language
By: Howard S. Goodman on Fri, 16 Oct 1992 13:33 |
34 Years 1 Month ago
0 replies |
|
Handling derived types
By: Yasushi Saito on Thu, 15 Oct 1992 07:47 |
34 Years 1 Month ago
0 replies |
|
Email Address
By: Roger_Alexander on Thu, 08 Oct 1992 23:44 |
34 Years 1 Month ago
0 replies |
|
(none)
By: CMRCM on Thu, 08 Oct 1992 16:44 |
34 Years 1 Month ago
0 replies |
|
Cognitive processes and formal specifications
By: Thomas Werthmann-Auzinger on Wed, 07 Oct 1992 22:06 |
34 Years 1 Month ago
0 replies |
|
nfss zed style file
By: Sean Matthews on Wed, 07 Oct 1992 12:37 |
34 Years 1 Month ago
0 replies |
|
Re: Z and Concurrency
By: Michael Hinchey on Sat, 03 Oct 1992 13:28 |
34 Years 1 Month ago
0 replies |
|
Re: Z and Concurrency
By: Peter J Knaggs on Sat, 03 Oct 1992 10:08 |
34 Years 1 Month ago
0 replies |
|
Users of Z formal specification
By: Frank Deutschmann on Fri, 02 Oct 1992 20:06 |
34 Years 1 Month ago
0 replies |
|
Z for Word-5 anyone?
By: Marc Benveniste on Tue, 29 Sep 1992 07:09 |
34 Years 1 Month ago
0 replies |
|
(none)
By: Alan Richardson on Tue, 15 Sep 1992 09:06 |
34 Years 2 Months ago
0 replies |
|
Reminder: CFP deadline for FME'93 is approaching
By: Nico Plat on Fri, 11 Sep 1992 13:36 |
34 Years 2 Months ago
0 replies |
Page 1 of 2 • 96 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view