Page 2 of 6 • 286 total threads
Discussion Threads in comp.specification
286 threads • Page 2 of 6| Thread Subject | Last Message |
|---|---|
|
Abstraction and Specification
By: Francois Charlot on Tue, 27 Oct 1992 17:39 |
34 Years ago
1 replies |
|
HOW-TOs for algebraic specification
By: Lutz Prechelt on Tue, 27 Oct 1992 08:30 |
34 Years ago
1 replies |
|
reference wanted: Plotkin, Lampson
By: Malte Grosse on Tue, 27 Oct 1992 14:25 |
34 Years ago
0 replies |
|
Help ? Review on Formal Methods
By: Clemens Zimmermann on Tue, 27 Oct 1992 08:56 |
34 Years ago
0 replies |
|
Z specs
By: Joan Krone on Tue, 27 Oct 1992 04:28 |
34 Years ago
0 replies |
|
Petri Nets, Tools & Applications
By: Anna Stenkvist on Thu, 15 Oct 1992 11:30 |
34 Years 1 Month ago
2 replies |
|
Looking for small examples
By: Don Wilcox on Thu, 15 Oct 1992 21:19 |
34 Years 1 Month ago
2 replies |
|
OBJ for SUN workstations?
By: Bergner on Thu, 15 Oct 1992 15:53 |
34 Years 1 Month ago
0 replies |
|
Microsoft Word VDM character set
By: Andrew Harry on Tue, 13 Oct 1992 14:55 |
34 Years 1 Month ago
0 replies |
|
tools for specification
By: Paolo Ciancarini on Fri, 09 Oct 1992 16:42 |
34 Years 1 Month ago
1 replies |
|
Advantages of Z and VDM over Dijkstra-style specifications?
By: matteo vaccari on Tue, 29 Sep 1992 09:28 |
34 Years 1 Month ago
3 replies |
|
Specifying a ring in LOTOS
By: Jan Rekers on Thu, 01 Oct 1992 08:58 |
34 Years 1 Month ago
3 replies |
|
ISSAC'93 Call for Paper (LaTeX)
By: Andrei Voronkov on Thu, 01 Oct 1992 14:12 |
34 Years 1 Month ago
0 replies |
|
References of applications
By: Oded Maler on Wed, 30 Sep 1992 17:23 |
34 Years 1 Month ago
0 replies |
|
SETHEO details
By: Chris Coomber on Wed, 30 Sep 1992 00:08 |
34 Years 1 Month ago
0 replies |
|
temporal logic tools
By: Chris Coomber on Tue, 29 Sep 1992 04:17 |
34 Years 1 Month ago
1 replies |
|
Looking for info on SDL 92
By: Alan Williams on Tue, 29 Sep 1992 12:59 |
34 Years 1 Month ago
0 replies |
|
Post-doc grants at Nancy
By: Schobbens Pierre-Yves on Mon, 28 Sep 1992 14:27 |
34 Years 1 Month ago
0 replies |
|
Specification and Abstraction in concrete life !
By: Francois Charlot on Tue, 15 Sep 1992 09:05 |
34 Years 2 Months ago
0 replies |
|
CAV 93: CALL FOR PAPERS
By: Mamalaki Maria on Tue, 15 Sep 1992 06:31 |
34 Years 2 Months ago
0 replies |
|
Looking for paper about quantification
By: Alastair Reid on Wed, 02 Sep 1992 12:49 |
34 Years 2 Months ago
3 replies |
|
Reminder: CFP deadline for FME'93 approaching
By: Nico Plat on Fri, 11 Sep 1992 10:24 |
34 Years 2 Months ago
0 replies |
|
z
By: George Row on Thu, 10 Sep 1992 08:54 |
34 Years 2 Months ago
0 replies |
|
Looking for linear temporal logic verifiers gnerating counterexamples
By: Larry Augustin on Sat, 05 Sep 1992 00:31 |
34 Years 2 Months ago
1 replies |
|
AMAST'93 Call for Papers (plain ascii)
By: Pippo Scollo on Fri, 04 Sep 1992 14:57 |
34 Years 2 Months ago
0 replies |
|
AMAST'93 Call for Papers (latex)
By: Pippo Scollo on Fri, 04 Sep 1992 14:49 |
34 Years 2 Months ago
0 replies |
|
Questions on modules and state in BSI VDM
By: Anthony Shipman on Fri, 21 Aug 1992 13:06 |
34 Years 2 Months ago
2 replies |
|
Linear and Branching Time Temporal Logic
By: Armin Zundel on Fri, 21 Aug 1992 12:40 |
34 Years 2 Months ago
3 replies |
|
SDL 92
By: Antonio Ruiz Delgado on Fri, 28 Aug 1992 12:26 |
34 Years 2 Months ago
0 replies |
|
Summary of SDL tools
By: Levelt W. on Thu, 27 Aug 1992 10:37 |
34 Years 2 Months ago
0 replies |
|
Postdoc vacancy for protocol verification in IC-design
By: T. Kostelijk 43897 on Thu, 27 Aug 1992 08:43 |
34 Years 2 Months ago
0 replies |
|
inconsistency with lambda in VDM
By: Anthony Shipman on Thu, 27 Aug 1992 07:35 |
34 Years 2 Months ago
0 replies |
|
modules in VDM
By: Anthony Shipman on Thu, 27 Aug 1992 07:23 |
34 Years 2 Months ago
0 replies |
|
ZED Specification Environment (Product Announcement)
By: Kuram T Narayana on Wed, 26 Aug 1992 13:41 |
34 Years 2 Months ago
0 replies |
|
Request for ISO IS9074/8807 & TR10167
By: Lim Chee Yong on Wed, 26 Aug 1992 03:21 |
34 Years 2 Months ago
0 replies |
|
Where is Verilog ?
By: Bruno Berstel on Thu, 20 Aug 1992 18:44 |
34 Years 2 Months ago
0 replies |
|
Genesis Z-Tool
By: Tony Cant on Thu, 20 Aug 1992 17:04 |
34 Years 2 Months ago
0 replies |
|
summary of call for parallel progr. environments and specification tool
By: Eric ten Cate on Thu, 20 Aug 1992 07:13 |
34 Years 2 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:43 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:42 |
34 Years 3 Months ago
0 replies |
|
Verification Methodology For LOTOS Specification
By: Alfred Yau on Mon, 17 Aug 1992 09:44 |
34 Years 3 Months ago
0 replies |
|
Sigplan article
By: Alwyn Goodloe on Sat, 15 Aug 1992 02:24 |
34 Years 3 Months ago
0 replies |
|
For Steve Austin - Sorry for the others
By: Francois Charlot on Fri, 14 Aug 1992 17:24 |
34 Years 3 Months ago
0 replies |
|
CFP GI/ITG-Workshop (German)
By: Thomas Kropf on Fri, 14 Aug 1992 07:15 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:21 |
34 Years 3 Months ago
1 replies |
|
Formal Specifications in CCS
By: David Sewry on Wed, 12 Aug 1992 13:30 |
34 Years 3 Months ago
0 replies |
|
parallel programming and specification tools
By: Eric ten Cate on Tue, 11 Aug 1992 07:22 |
34 Years 3 Months ago
0 replies |
|
gem font spec?
By: gord armstrong on Mon, 10 Aug 1992 23:17 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:22 |
34 Years 3 Months ago
0 replies |
|
VDM course
By: Ian Cottam on Mon, 10 Aug 1992 15:16 |
34 Years 3 Months ago
0 replies |
Page 2 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