Page 6 of 6 • 287 total threads
Discussion Threads in comp.specification
287 threads • Page 6 of 6| Thread Subject | Last Message |
|---|---|
|
Your suggestions are needed in teaching Formal Spec
By: mariam on Fri, 31 Aug 1990 19:00 |
36 Years 2 Months ago
2 replies |
|
5th Annual Z User Meeting - call for papers
By: zforum on Fri, 07 Sep 1990 17:01 |
36 Years 2 Months ago
0 replies |
|
Summary of Respones to: Suggestions for Formal Spec Textbook
By: mariam on Fri, 07 Sep 1990 00:22 |
36 Years 2 Months ago
0 replies |
|
(UK) SafetyNet Conference
By: Cliff Jones on Wed, 05 Sep 1990 13:51 |
36 Years 2 Months ago
0 replies |
|
References to 'Z' specification language
By: Mike Crooks on Thu, 30 Aug 1990 11:40 |
36 Years 2 Months ago
6 replies |
|
Renaming in Standard Z
By: Andy Gravell on Mon, 03 Sep 1990 10:13 |
36 Years 2 Months ago
0 replies |
|
Texts on algebraic specification?
By: Tim Clement on Tue, 21 Aug 1990 15:57 |
36 Years 2 Months ago
1 replies |
|
Knowledge-Based Software Development Conference
By: hoebel on Wed, 29 Aug 1990 13:19 |
36 Years 2 Months ago
0 replies |
|
Something's backwards here...
By: Doug Roberts on Thu, 16 Aug 1990 22:23 |
36 Years 2 Months ago
1 replies |
|
Re: Formal Specification (more...)
By: mariam on Thu, 09 Aug 1990 23:39 |
36 Years 3 Months ago
1 replies |
|
Techniques used to Prioritise Requirements
By: Nigel Read on Thu, 09 Aug 1990 08:50 |
36 Years 3 Months ago
0 replies |
|
5th SDL FORUM: Introduction and Call for papers
By: Paul Tilanus on Thu, 09 Aug 1990 08:06 |
36 Years 3 Months ago
0 replies |
|
Formal models of Specifications
By: Hanan Lutfiyya on Mon, 06 Aug 1990 15:47 |
36 Years 3 Months ago
1 replies |
|
KBSA-5 Conference Program
By: hoebel on Thu, 02 Aug 1990 21:36 |
36 Years 3 Months ago
0 replies |
|
Re: Is VDM case studies book out yet?
By: Michael Durket on Wed, 01 Aug 1990 17:58 |
36 Years 3 Months ago
0 replies |
|
Petri nets as a CCC
By: Jack Campin on Fri, 27 Jul 1990 16:31 |
36 Years 3 Months ago
2 replies |
|
Is VDM case studies book out yet?
By: Michael Durket on Fri, 27 Jul 1990 16:34 |
36 Years 3 Months ago
4 replies |
|
RE: Is VDM case studies book out yet?
By: Mark Ardis on Mon, 30 Jul 1990 17:31 |
36 Years 3 Months ago
0 replies |
|
Seeking formal description of Meta-IV
By: Frank Weber on Tue, 24 Jul 1990 14:22 |
36 Years 3 Months ago
1 replies |
|
Re: Petri nets as CCCs
By: Mr David Murphy on Fri, 27 Jul 1990 18:16 |
36 Years 3 Months ago
0 replies |
|
Proof rules for Angelic choice
By: Gary Leavens on Mon, 16 Jul 1990 21:42 |
36 Years 4 Months ago
1 replies |
|
New language for parallel computation - SEZ.YALE.
By: Steven Ericsson Zenith on Thu, 12 Jul 1990 14:25 |
36 Years 4 Months ago
0 replies |
|
How does formal specification tie in with OOD/OOP?
By: Stuart Hungerford on Wed, 11 Jul 1990 06:37 |
36 Years 4 Months ago
0 replies |
|
"Report on the Larch Shared Language, Version 2.3"
By: Jim Horning on Tue, 10 Jul 1990 19:53 |
36 Years 4 Months ago
0 replies |
|
"Debugging Larch Shared Language Specifications"
By: Jim Horning on Tue, 10 Jul 1990 19:43 |
36 Years 4 Months ago
0 replies |
|
KBSA_5 Conference Program Announcement
By: hoebel Call For Participation an... on Tue, 10 Jul 1990 13:28 |
36 Years 4 Months ago
0 replies |
|
Proof rules for angelic choice?
By: Gary Leavens on Wed, 27 Jun 1990 15:14 |
36 Years 4 Months ago
4 replies |
|
specification problem using Estelle
By: Chi-Sharn Wu on Thu, 07 Jun 1990 17:49 |
36 Years 5 Months ago
1 replies |
|
extracting spec of existing system
By: Chuck Howell on Tue, 29 May 1990 19:29 |
36 Years 5 Months ago
2 replies |
|
PSTV X - 10th International Symposium
By: Peter Koppstein on Mon, 07 May 1990 18:34 |
36 Years 6 Months ago
0 replies |
|
Looking for users of Z and VDM
By: Simon Raybould on Thu, 12 Apr 1990 16:02 |
36 Years 7 Months ago
0 replies |
|
formal spec lang classification
By: Il Moon on Thu, 15 Mar 1990 21:19 |
36 Years 8 Months ago
3 replies |
|
Application Specific Languages
By: Iain Tulloch on Wed, 21 Mar 1990 11:56 |
36 Years 8 Months ago
0 replies |
|
CALL FOR PAPER
By: Abbas Birjandi on Fri, 16 Mar 1990 15:04 |
36 Years 8 Months ago
0 replies |
|
Call For Papers
By: hoebel on Fri, 16 Mar 1990 12:54 |
36 Years 8 Months ago
0 replies |
|
recommended texts
By: dm Dave Mankins on Mon, 05 Mar 1990 04:02 |
36 Years 8 Months ago
3 replies |
|
Where are the articles?
By: mjl on Sat, 03 Mar 1990 22:45 |
36 Years 8 Months ago
0 replies |
Page 6 of 6 • 287 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