Page 4 of 6 • 286 total threads
Discussion Threads in comp.specification
286 threads • Page 4 of 6| Thread Subject | Last Message |
|---|---|
|
Wanted: Lotos latex macro and emacs mode
By: Ken Warkentyne on Thu, 30 May 1991 08:07 |
35 Years 5 Months ago
1 replies |
|
TeX macros for Z ...
By: wkh on Tue, 28 May 1991 15:19 |
35 Years 5 Months ago
1 replies |
|
Complexity in making changes to requirements.
By: David Yip on Thu, 30 May 1991 12:35 |
35 Years 5 Months ago
3 replies |
|
A Larch style interface language for Smalltalk-80
By: Gary Leavens on Tue, 28 May 1991 20:40 |
35 Years 5 Months ago
0 replies |
|
A Larch interface language for concurrency
By: Jeannette Wing on Tue, 28 May 1991 16:29 |
35 Years 5 Months ago
0 replies |
|
Z User Meeting - Call for Papers
By: Joan.Arnold on Tue, 28 May 1991 13:32 |
35 Years 5 Months ago
0 replies |
|
Larch Shared Language -> LP
By: John W. Baugh Jr. on Thu, 23 May 1991 21:24 |
35 Years 5 Months ago
0 replies |
|
The best tutorial on formal specifications
By: Pablo A. Straub on Fri, 10 May 1991 19:50 |
35 Years 5 Months ago
5 replies |
|
Re: Tutorial papers
By: Adolfo Socorro on Tue, 21 May 1991 08:30 |
35 Years 6 Months ago
0 replies |
|
Software Requirements Specification Wanted
By: Sooyong Park on Sat, 18 May 1991 20:23 |
35 Years 6 Months ago
0 replies |
|
Game of Life in CSP
By: Graeme Smith on Mon, 13 May 1991 06:41 |
35 Years 6 Months ago
0 replies |
|
Forward references in denotational semantics
By: Christian S. Collberg on Fri, 10 May 1991 09:17 |
35 Years 6 Months ago
0 replies |
|
BCS--FACS RAISE TUTORIAL
By: Brian Monahan on Thu, 09 May 1991 13:09 |
35 Years 6 Months ago
0 replies |
|
LOTOS BNF
By: Ron Casselman on Thu, 09 May 1991 11:23 |
35 Years 6 Months ago
0 replies |
|
Divergences in CSP
By: Todd Fine on Tue, 07 May 1991 00:52 |
35 Years 6 Months ago
0 replies |
|
Bibliography of LOTOS
By: Ing. Antonio Eloin Rodriguez Aco... on Tue, 30 Apr 1991 19:47 |
35 Years 6 Months ago
0 replies |
|
VDM style file
By: Dr. Betty Cheng on Thu, 25 Apr 1991 02:27 |
35 Years 6 Months ago
0 replies |
|
Specifying static semantics in Z
By: Kevin.Lano on Wed, 24 Apr 1991 09:29 |
35 Years 6 Months ago
0 replies |
|
ieee mass storage model ?? any help?
By: Juergen Weigert on Tue, 23 Apr 1991 18:10 |
35 Years 6 Months ago
0 replies |
|
Static semantics of imperative languages in Z?
By: Christian S. Collberg on Tue, 23 Apr 1991 13:12 |
35 Years 6 Months ago
0 replies |
|
Formal Aspects of Measurement
By: Brian Monahan on Mon, 22 Apr 1991 14:14 |
35 Years 6 Months ago
0 replies |
|
KBSE-91: CAll For Papers
By: hoebel on Tue, 16 Apr 1991 14:22 |
35 Years 7 Months ago
0 replies |
|
wanted-for-TeXMacros-of-Z
By: Haruhiko Kaiya on Sun, 14 Apr 1991 07:59 |
35 Years 7 Months ago
1 replies |
|
Re: 5-day Course on Cambridge HOL System
By: msaltzman on Sun, 07 Apr 1991 02:19 |
35 Years 7 Months ago
0 replies |
|
Computer Assurance Conference COMPASS '91
By: Rick Kuhn on Wed, 03 Apr 1991 14:24 |
35 Years 7 Months ago
0 replies |
|
Share your LOTOS experience
By: Paul Tilanus on Tue, 02 Apr 1991 11:22 |
35 Years 7 Months ago
0 replies |
|
CFP FORTE'91 Formal Techniques Sydney Australia
By: Roger Duke on Thu, 28 Mar 1991 07:02 |
35 Years 7 Months ago
0 replies |
|
Anyone know what PDES/STEP stands for?
By: Dan Peterka on Wed, 13 Mar 1991 00:27 |
35 Years 7 Months ago
4 replies |
|
5-day Course on Cambridge HOL System
By: Jeffrey Joyce on Fri, 22 Mar 1991 16:48 |
35 Years 7 Months ago
0 replies |
|
Petri Nets 91, June 24-28, Denmark
By: Soren P. Christensen on Thu, 21 Mar 1991 11:08 |
35 Years 8 Months ago
0 replies |
|
"higher-order" spec\
By: YUKQC on Thu, 07 Mar 1991 04:30 |
35 Years 8 Months ago
2 replies |
|
KBSE-91: CAll For papers
By: hoebel on Mon, 18 Mar 1991 20:25 |
35 Years 8 Months ago
0 replies |
|
NL paraphrasing of specifications
By: Stephen Hood on Fri, 15 Mar 1991 18:52 |
35 Years 8 Months ago
0 replies |
|
looking for COFF literature
By: Mark Lochridge on Fri, 15 Mar 1991 01:27 |
35 Years 8 Months ago
0 replies |
|
Formal Methods Tools from HP Labs
By: Patrick Goldsack on Tue, 12 Mar 1991 10:57 |
35 Years 8 Months ago
0 replies |
|
ProCoS Symposium, 14-18 October, Gl. Avernaes, Denmark
By: Jonathan Bowen on Mon, 11 Mar 1991 18:25 |
35 Years 8 Months ago
0 replies |
|
Z tools.
By: Michel Moreaux on Fri, 08 Mar 1991 10:09 |
35 Years 8 Months ago
1 replies |
|
Archives for the newsgroup comp.specification
By: Richard Wallace on Thu, 07 Mar 1991 04:58 |
35 Years 8 Months ago
0 replies |
|
IBM mouse
By: Gerard Pinzone on Tue, 05 Mar 1991 21:27 |
35 Years 8 Months ago
0 replies |
|
Specifications
By: Duncan Campbell on Tue, 05 Mar 1991 06:50 |
35 Years 8 Months ago
0 replies |
|
Database correctness
By: John W. Baugh Jr. on Mon, 04 Mar 1991 15:55 |
35 Years 8 Months ago
1 replies |
|
Tools for Distributed Systems
By: Claus Dendorfer on Tue, 26 Feb 1991 13:21 |
35 Years 8 Months ago
0 replies |
|
Object-Z ?
By: Paul.Kram on Sat, 23 Feb 1991 22:50 |
35 Years 8 Months ago
1 replies |
|
Re: Object-Z facts
By: Paul.Kram on Mon, 25 Feb 1991 01:53 |
35 Years 8 Months ago
0 replies |
|
Re: Z Specification Case Studies
By: Jonathan Bowen on Sat, 23 Feb 1991 21:56 |
35 Years 8 Months ago
0 replies |
|
Z Specification Case Studies
By: Phil Windley/20000000 on Thu, 21 Feb 1991 00:23 |
35 Years 8 Months ago
0 replies |
|
Typos in my VDM book
By: Cliff B Jones on Mon, 18 Feb 1991 17:09 |
35 Years 9 Months ago
0 replies |
|
Numerical Analysis/ Formal proofs
By: Cliff B Jones on Sun, 17 Feb 1991 12:30 |
35 Years 9 Months ago
2 replies |
|
Looking for case studies
By: Alex Dorchak on Wed, 13 Feb 1991 22:28 |
35 Years 9 Months ago
0 replies |
|
Unusual applications of LOTOS
By: Luigi Logrippo on Wed, 13 Feb 1991 22:15 |
35 Years 9 Months ago
0 replies |
Page 4 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