Page 3 of 6 • 286 total threads
Discussion Threads in comp.specification
286 threads • Page 3 of 6| Thread Subject | Last Message |
|---|---|
|
Email Address of Antti Valmari?
By: Shing Chi Cheung on Thu, 06 Aug 1992 19:13 |
34 Years 3 Months ago
0 replies |
|
Software crisis and specification
By: Andrew Harry on Wed, 05 Aug 1992 13:39 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Industry
By: sma on Wed, 05 Aug 1992 08:58 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: sma on Wed, 05 Aug 1992 08:57 |
34 Years 3 Months ago
0 replies |
|
Chosing A Specification HDL
By: John Cooley on Tue, 04 Aug 1992 14:37 |
34 Years 3 Months ago
0 replies |
|
email addr for S. Graf or B. Steffen?
By: Shing Chi Cheung on Mon, 03 Aug 1992 15:40 |
34 Years 3 Months ago
0 replies |
|
Refernces for VDM, Z, Lotos
By: Ira Baxter on Sun, 02 Aug 1992 17:00 |
34 Years 3 Months ago
0 replies |
|
FAQ for this group ?
By: Bruno Berstel on Thu, 30 Jul 1992 19:18 |
34 Years 3 Months ago
0 replies |
|
Bibliographic Refs for introductory texts for Z, VDM, Lotos
By: Ira Baxter on Tue, 28 Jul 1992 04:40 |
34 Years 3 Months ago
0 replies |
|
Abstraction and Specification
By: Francois Charlot on Mon, 27 Jul 1992 15:47 |
34 Years 3 Months ago
0 replies |
|
SPIN tool enquiry
By: Lim Chee Yong on Tue, 21 Jul 1992 05:54 |
34 Years 3 Months ago
1 replies |
|
CFP: OOPSLA Workshop on serious oo reasoning in information modeling
By: 24103-kilov on Thu, 23 Jul 1992 22:11 |
34 Years 3 Months ago
0 replies |
|
ISO (Intl Stds Org) Documents
By: Allen M. Theobald on Thu, 23 Jul 1992 00:42 |
34 Years 3 Months ago
0 replies |
|
ASN.1
By: Allen M. Theobald on Wed, 22 Jul 1992 22:41 |
34 Years 3 Months ago
0 replies |
|
LOTOS tool survey
By: Arturo Azcorra on Wed, 22 Jul 1992 16:17 |
34 Years 3 Months ago
0 replies |
|
LOTOS Tool Survey
By: Arturo Azcorra on Wed, 22 Jul 1992 16:13 |
34 Years 3 Months ago
0 replies |
|
SpecBox: a formal methods tool for VDM
By: Peter Froome on Wed, 22 Jul 1992 08:15 |
34 Years 3 Months ago
0 replies |
|
specification languages in OSI
By: John Gottschalk on Wed, 15 Apr 1992 06:47 |
34 Years 7 Months ago
0 replies |
|
Archieve site of comp.specification
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:21 |
34 Years 7 Months ago
1 replies |
|
Requirements Engineering 1993
By: Anthony Finkelstein on Fri, 10 Apr 1992 08:32 |
34 Years 7 Months ago
0 replies |
|
test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:29 |
34 Years 7 Months ago
0 replies |
|
test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:26 |
34 Years 7 Months ago
0 replies |
|
test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:25 |
34 Years 7 Months ago
0 replies |
|
Formal description of Unix interface and internals
By: Stavros Macrakis on Wed, 08 Apr 1992 13:55 |
34 Years 7 Months ago
0 replies |
|
Seeking verification condition generators
By: David Sims on Mon, 06 Apr 1992 14:42 |
34 Years 7 Months ago
1 replies |
|
Can you share your specifications?
By: Pablo A. Straub on Sat, 29 Jun 1991 18:55 |
35 Years 4 Months ago
0 replies |
|
OBJ
By: Craig Morrison CS89 on Fri, 28 Jun 1991 10:44 |
35 Years 4 Months ago
0 replies |
|
Formal Reasoning System (Mural) offered to Academics
By: Ian Cottam on Thu, 27 Jun 1991 11:26 |
35 Years 4 Months ago
0 replies |
|
Report on Larch/Modula-3 interface language available
By: Kevin Jones on Wed, 26 Jun 1991 23:07 |
35 Years 4 Months ago
0 replies |
|
Code to Specifications
By: Dr. Betty Cheng on Wed, 26 Jun 1991 20:04 |
35 Years 4 Months ago
0 replies |
|
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 |
35 Years 4 Months ago
0 replies |
|
Formal Specifications as a Basis for Software Testing
By: Ian Bridge on Tue, 25 Jun 1991 14:57 |
35 Years 4 Months ago
0 replies |
|
Re: VDM vs Z notation?
By: Elspeth Cusack on Tue, 18 Jun 1991 15:24 |
35 Years 4 Months ago
3 replies |
|
IEEE papers, where??
By: Juergen Weigert on Mon, 24 Jun 1991 14:02 |
35 Years 4 Months ago
0 replies |
|
Rapid prototyping of formal specifications
By: Stephen Gilmore on Fri, 21 Jun 1991 16:40 |
35 Years 4 Months ago
0 replies |
|
Z, VDM and non-functional requirements
By: Kearton Rees on Wed, 19 Jun 1991 13:36 |
35 Years 4 Months ago
1 replies |
|
LOTOS semantics - detailed questions/issues
By: Mark Vigder on Wed, 19 Jun 1991 21:45 |
35 Years 5 Months ago
0 replies |
|
Re: VDM vs Z notation?
By: S Matthews on Wed, 19 Jun 1991 11:23 |
35 Years 5 Months ago
0 replies |
|
David Harel at Manchester
By: Tim Clement on Tue, 18 Jun 1991 16:44 |
35 Years 5 Months ago
0 replies |
|
VDM vs Z notation?
By: Collin Park on Thu, 30 May 1991 15:10 |
35 Years 5 Months ago
4 replies |
|
Re: Reverse-engineering
By: Kevin.Lano on Mon, 17 Jun 1991 07:46 |
35 Years 5 Months ago
0 replies |
|
Conference Announcement: 6th KBSE
By: hoebel on Sun, 16 Jun 1991 17:09 |
35 Years 5 Months ago
0 replies |
|
Reverse engineering - obtaining a formal spec from existing systems
By: Anthony Lee on Sun, 16 Jun 1991 10:20 |
35 Years 5 Months ago
0 replies |
|
Problem with LOTOS specification
By: David Skeen on Wed, 12 Jun 1991 00:23 |
35 Years 5 Months ago
5 replies |
|
Skepticism Towards Specifications
By: Jim Showalter on Wed, 12 Jun 1991 20:33 |
35 Years 5 Months ago
1 replies |
|
Object-Z references wanted
By: Chris Flatters on Fri, 07 Jun 1991 23:05 |
35 Years 5 Months ago
2 replies |
|
Multiple Views of Specifications
By: paulA on Sat, 08 Jun 1991 12:41 |
35 Years 5 Months ago
0 replies |
|
Z spec for Producer/Consumer
By: wkh on Fri, 07 Jun 1991 15:03 |
35 Years 5 Months ago
0 replies |
|
IFIP PSTV XI Advance Program
By: Lars-}ke Fredlund on Wed, 05 Jun 1991 15:11 |
35 Years 5 Months ago
0 replies |
|
Advanced Z Course on Proof
By: Joan.Arnold on Mon, 03 Jun 1991 11:46 |
35 Years 5 Months ago
0 replies |
Page 3 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