Page 1 of 6 • 285 total threads
Discussion Threads in comp.specification
285 threads • Page 1 of 6| Thread Subject | Last Message |
|---|---|
|
Z and Larch
By: Paolo Ciancarini on Tue, 26 Jan 1993 15:46 |
33 Years 9 Months ago
0 replies |
|
Call for experience reports: FM applied to large-scale projects
By: Thomas Lindner on Tue, 26 Jan 1993 09:35 |
33 Years 9 Months ago
0 replies |
|
ARC:Intershake/Interkey/Interview/ Manuals Needed.
By: Louis Meadows on Mon, 25 Jan 1993 19:04 |
33 Years 9 Months ago
0 replies |
|
SDL CASE tools available ?
By: Tim Liddelow on Sun, 24 Jan 1993 06:02 |
33 Years 9 Months ago
0 replies |
|
CCITT documents wanted
By: Karlis Cerans on Sat, 23 Jan 1993 13:32 |
33 Years 9 Months ago
0 replies |
|
Specifications in UNITY
By: Weimin Ma on Sat, 23 Jan 1993 05:16 |
33 Years 9 Months ago
0 replies |
|
Historical references
By: Cliff B Jones on Fri, 22 Jan 1993 17:22 |
33 Years 9 Months ago
0 replies |
|
Summer School: TYPES FOR PROOFS AND PROGRAMS
By: Lennart Augustsson on Thu, 21 Jan 1993 15:53 |
33 Years 9 Months ago
0 replies |
|
Uninterpreted modelling system
By: Gary Putlock on Thu, 21 Jan 1993 15:02 |
33 Years 9 Months ago
0 replies |
|
FME'93 Call For Posters
By: Peter Gorm Larsen on Thu, 21 Jan 1993 14:38 |
33 Years 9 Months ago
0 replies |
|
Graphical tools for Petri net simulation
By: Ferrol Rawson Blackmon on Sun, 10 Jan 1993 04:58 |
33 Years 10 Months ago
1 replies |
|
Formal specification translators
By: dsg.npl.co.uk on Mon, 11 Jan 1993 10:08 |
33 Years 10 Months ago
0 replies |
|
Formal spec languages on top of C/C++ ?
By: Kanth Miriyala on Wed, 06 Jan 1993 21:27 |
33 Years 10 Months ago
3 replies |
|
Theoretical limitations of algebraic specifications?
By: A. Jeff Offutt on Thu, 31 Dec 1992 00:04 |
33 Years 10 Months ago
4 replies |
|
Publication announcement on Larch research paper
By: James Mason on Mon, 04 Jan 1993 20:58 |
33 Years 10 Months ago
0 replies |
|
How to get to know LOTOS!!
By: Jeroen van de Lagemaat on Wed, 23 Dec 1992 15:57 |
33 Years 10 Months ago
0 replies |
|
Re: ACM SIGSOFT '93: Foundations of Software Engineering (CFP)
By: Nancy Leveson on Tue, 22 Dec 1992 14:57 |
33 Years 10 Months ago
0 replies |
|
partial, static analyses for rev. engineering, etc
By: Daniel Jackson on Thu, 17 Dec 1992 21:48 |
33 Years 11 Months ago
1 replies |
|
Postdoc vacancy for multi-rate / protocol IC-design verification
By: T. Kostelijk 43897 on Fri, 18 Dec 1992 15:15 |
33 Years 11 Months ago
0 replies |
|
FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION (SUMMARY of RESPONSES)
By: Ajit K. Jena on Thu, 17 Dec 1992 09:38 |
33 Years 11 Months ago
1 replies |
|
Some papers of the FME'93 conference programme
By: roberto on Thu, 17 Dec 1992 12:13 |
33 Years 11 Months ago
0 replies |
|
Corrections to "A Larch Specification of Copying Garbage Collection"
By: Scott Nettles on Wed, 16 Dec 1992 16:38 |
33 Years 11 Months ago
0 replies |
|
Formal Semantics of ADA?
By: Wolfgang Mueller on Mon, 14 Dec 1992 16:48 |
33 Years 11 Months ago
2 replies |
|
FORMAL METHODS IN MULTIMEDIA SYNCHRONIZATION...
By: Ajit K. Jena on Tue, 15 Dec 1992 07:27 |
33 Years 11 Months ago
0 replies |
|
Formal Description of Multimedia Synchronization Mechanisms
By: Ajit K. Jena on Sat, 12 Dec 1992 05:13 |
33 Years 11 Months ago
0 replies |
|
Semantic definition style
By: song on Tue, 03 Nov 1992 14:46 |
33 Years 11 Months ago
13 replies |
|
semantics
By: Joan Krone on Wed, 18 Nov 1992 04:24 |
33 Years 12 Months ago
1 replies |
|
Testing
By: Eoin McDonnell on Wed, 11 Nov 1992 12:02 |
33 Years 12 Months ago
1 replies |
|
Are the POSIX specs. available via anon. FTP ?
By: Tom Leitner on Thu, 19 Nov 1992 06:38 |
33 Years 12 Months ago
0 replies |
|
Formal specification of matrix operations and robotics applications
By: Gregory Abowd on Mon, 16 Nov 1992 20:45 |
33 Years 12 Months ago
0 replies |
|
Specification of OS kernel?
By: Akira Mori on Mon, 16 Nov 1992 07:30 |
33 Years 12 Months ago
0 replies |
|
Semantic definition style
By: Cliff B Jones on Sun, 15 Nov 1992 14:52 |
34 Years ago
0 replies |
|
E1 vs. T1 Signalling
By: MBX Michael Peters on Thu, 12 Nov 1992 06:30 |
34 Years ago
0 replies |
|
Re: Semantic definition style
By: Ian Sutherland on Thu, 12 Nov 1992 04:13 |
34 Years ago
0 replies |
|
HDLC specification
By: Eoin McDonnell on Wed, 11 Nov 1992 12:00 |
34 Years ago
0 replies |
|
CCS contact
By: Eoin McDonnell on Wed, 11 Nov 1992 11:57 |
34 Years ago
0 replies |
|
New Series in Computing
By: Giuseppe Scollo on Mon, 09 Nov 1992 16:44 |
34 Years ago
0 replies |
|
ZED system FTP sites: some info.
By: Kuram T Narayana on Thu, 05 Nov 1992 18:02 |
34 Years ago
0 replies |
|
CAV 1993 CALL FOR PAPERS
By: Mamalaki Maria on Wed, 04 Nov 1992 10:35 |
34 Years ago
0 replies |
|
Specificationlanguages
By: Markus Rindersbacher on Wed, 04 Nov 1992 09:42 |
34 Years ago
0 replies |
|
Discrete Maths Teaching
By: Chris M P Reade on Tue, 27 Oct 1992 12:49 |
34 Years ago
1 replies |
|
Announcing ZED Distribution
By: Kuram T Narayana on Tue, 03 Nov 1992 14:52 |
34 Years ago
0 replies |
|
CfP: AMAST'93 (update, latex)
By: Giuseppe Scollo on Mon, 02 Nov 1992 23:53 |
34 Years ago
0 replies |
|
Help on network management specification
By: Wei Min on Mon, 02 Nov 1992 22:27 |
34 Years ago
0 replies |
|
CfP: AMAST'93 (update, plain text)
By: Giuseppe Scollo on Mon, 02 Nov 1992 21:05 |
34 Years ago
0 replies |
|
Help ! Survey of Models for Communication Systems
By: Clemens Zimmermann on Mon, 02 Nov 1992 11:52 |
34 Years ago
0 replies |
|
looking for computer-readable specifications
By: Lester Buck on Mon, 02 Nov 1992 07:48 |
34 Years ago
0 replies |
|
CASE and formal methods
By: Robert France on Wed, 28 Oct 1992 22:45 |
34 Years ago
1 replies |
|
Computer Security Foundations Workshop VI, call for papers
By: Catherine A. Meadows,5590,, on Thu, 29 Oct 1992 15:25 |
34 Years ago
0 replies |
|
Abstraction and Specification
By: Francois Charlot on Tue, 27 Oct 1992 17:39 |
34 Years ago
1 replies |
Page 1 of 6 • 285 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