Page 5 of 6 • 286 total threads
Discussion Threads in comp.specification
286 threads • Page 5 of 6| Thread Subject | Last Message |
|---|---|
|
TAV - Call for Papers
By: Nancy Leveson on Tue, 12 Feb 1991 00:17 |
35 Years 9 Months ago
0 replies |
|
Special Issue of Computer Networks and ISDN Systems on TOOLS FOR FDTs
By: Arturo Azcorra on Fri, 08 Feb 1991 18:36 |
35 Years 9 Months ago
0 replies |
|
FUZZ (Z Support): Questions
By: Kenneth D Jordan on Thu, 07 Feb 1991 15:03 |
35 Years 9 Months ago
1 replies |
|
"Specification Case Studies" by Hayes
By: Mike Godfrey on Tue, 29 Jan 1991 18:59 |
35 Years 9 Months ago
1 replies |
|
Workshop on deontic logic in computer science
By: Wieringa j Roel on Fri, 18 Jan 1991 13:42 |
35 Years 10 Months ago
0 replies |
|
CAV91 - CALL FOR PAPERS
By: Arne Skou on Thu, 17 Jan 1991 08:30 |
35 Years 10 Months ago
0 replies |
|
CAV91 CALL FOR PAPERS
By: Arne Skou on Wed, 16 Jan 1991 00:45 |
35 Years 10 Months ago
0 replies |
|
CAV - New Deadline
By: Arne Skou on Tue, 15 Jan 1991 14:41 |
35 Years 10 Months ago
0 replies |
|
OO Specification ?
By: Peter Willems on Thu, 10 Jan 1991 10:02 |
35 Years 10 Months ago
0 replies |
|
Learning/using VDM
By: Gudmundur Joekulsson on Wed, 09 Jan 1991 13:42 |
35 Years 10 Months ago
0 replies |
|
CAV91 CALL FOR PAPERS
By: Arne Skou on Mon, 07 Jan 1991 15:13 |
35 Years 10 Months ago
0 replies |
|
Support Tools for Z?
By: Betty Cheng on Mon, 31 Dec 1990 23:51 |
35 Years 10 Months ago
1 replies |
|
Cambridge HOL System - 5-day intensive course
By: Jeffrey Joyce on Thu, 03 Jan 1991 16:46 |
35 Years 10 Months ago
0 replies |
|
Grammar for SDL
By: Ronald T. Crocker on Wed, 02 Jan 1991 20:37 |
35 Years 10 Months ago
0 replies |
|
re. survey on spec. languages (Anna references)
By: Sriram Sankar on Wed, 26 Dec 1990 18:36 |
35 Years 10 Months ago
0 replies |
|
formal system specification surveys
By: 533 on Mon, 17 Dec 1990 19:09 |
35 Years 11 Months ago
6 replies |
|
A Mistake in "The Z Notation"?
By: Jim Grundy on Thu, 20 Dec 1990 12:19 |
35 Years 11 Months ago
2 replies |
|
Re: Tech Reports from Oxford PRG
By: Dwight Spencer on Thu, 13 Dec 1990 18:16 |
35 Years 11 Months ago
2 replies |
|
Oxford Techreport on Refinement
By: Jim Grundy on Wed, 12 Dec 1990 17:54 |
35 Years 11 Months ago
0 replies |
|
Research Assistantships in Formal Methods
By: Phil Windley/20000000 on Wed, 12 Dec 1990 00:07 |
35 Years 11 Months ago
0 replies |
|
Workshop on deontic logic in computer science
By: Wieringa j Roel on Mon, 10 Dec 1990 12:31 |
35 Years 11 Months ago
0 replies |
|
1990 version of GROPE now available
By: Darren New on Wed, 05 Dec 1990 23:51 |
35 Years 11 Months ago
0 replies |
|
announcement availability of LOTOS specs
By: Harro Kremer on Wed, 21 Nov 1990 08:57 |
35 Years 12 Months ago
0 replies |
|
LOTOS specification of Sliding Window Protocol
By: Hong Cheng on Mon, 19 Nov 1990 04:03 |
35 Years 12 Months ago
1 replies |
|
VDM'91 Call for Papers
By: Cliff Jones on Tue, 20 Nov 1990 17:49 |
35 Years 12 Months ago
0 replies |
|
1991 SDL Forum Call for Papers
By: david.j.rypka on Tue, 20 Nov 1990 14:33 |
35 Years 12 Months ago
0 replies |
|
Looking for Hayes' Case Studies book
By: mjl on Fri, 09 Nov 1990 18:26 |
35 Years 12 Months ago
1 replies |
|
Is EPROS available?
By: Pete Young on Mon, 19 Nov 1990 11:20 |
35 Years 12 Months ago
0 replies |
|
Z questions
By: bwhite on Fri, 16 Nov 1990 21:45 |
36 Years ago
0 replies |
|
Re: Difference between Spec and Code
By: Don Cohen on Fri, 09 Nov 1990 23:39 |
36 Years ago
0 replies |
|
PD spec. tools
By: Rainer Lange on Fri, 09 Nov 1990 13:11 |
36 Years ago
0 replies |
|
Re: Difference between Spec and Code?
By: Jacob L. Cybulski on Wed, 07 Nov 1990 00:16 |
36 Years ago
1 replies |
|
Z User Meeting 1990
By: Joan.Arnold on Wed, 07 Nov 1990 15:18 |
36 Years ago
0 replies |
|
SafetyNet Conference - proceedings
By: Cliff Jones on Tue, 06 Nov 1990 15:54 |
36 Years ago
0 replies |
|
Reference required.
By: Cormac Sreenan on Tue, 06 Nov 1990 10:42 |
36 Years ago
0 replies |
|
VDM standardisation
By: Pete Young on Mon, 29 Oct 1990 12:37 |
36 Years ago
2 replies |
|
Call for papers SIGSOFT '91
By: Nancy Leveson on Mon, 05 Nov 1990 07:30 |
36 Years ago
0 replies |
|
(New) LaTeX macros for VDM
By: Graeme I Parkin on Tue, 30 Oct 1990 10:21 |
36 Years ago
0 replies |
|
specifying OBJ in itself
By: Jack Campin on Wed, 03 Oct 1990 15:53 |
36 Years ago
7 replies |
|
Z Notation
By: Chris Baldock on Fri, 19 Oct 1990 20:31 |
36 Years ago
1 replies |
|
New in the formal world
By: Gudmundur Joekulsson on Fri, 19 Oct 1990 14:23 |
36 Years ago
0 replies |
|
SDL Forum
By: Paul Johnson on Thu, 18 Oct 1990 08:55 |
36 Years 1 Month ago
0 replies |
|
FORTE 90
By: Arturo Azcorra on Tue, 16 Oct 1990 11:03 |
36 Years 1 Month ago
0 replies |
|
FORTE 90
By: Arturo Azcorra on Tue, 02 Oct 1990 18:37 |
36 Years 1 Month ago
0 replies |
|
Research positions in Queensland, Australia
By: John Staples on Fri, 28 Sep 1990 05:59 |
36 Years 1 Month ago
0 replies |
|
generating language bindings
By: Rowland Reed on Fri, 21 Sep 1990 21:07 |
36 Years 1 Month ago
1 replies |
|
PEPM call for papers
By: Olivier Danvy on Wed, 19 Sep 1990 15:36 |
36 Years 1 Month ago
0 replies |
|
programme of FORTE 90
By: Arturo Azcorra on Mon, 17 Sep 1990 11:03 |
36 Years 2 Months ago
0 replies |
|
parallel specification
By: Malte Grosse on Wed, 12 Sep 1990 09:29 |
36 Years 2 Months ago
1 replies |
|
Your suggestions are needed in teaching Formal Spec
By: mariam on Fri, 31 Aug 1990 19:00 |
36 Years 2 Months ago
2 replies |
Page 5 of 6 • 286 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