Oldest | Popular
Where are the articles? (0 replies, 03/04/90)
recommended texts (4 replies, 03/15/90)
VDM'90 Conference (0 replies, 03/15/90)
formal spec lang classification (0 replies, 03/16/90)
object oriented Z (0 replies, 03/16/90)
Call For Papers (0 replies, 03/16/90)
CALL FOR PAPER (0 replies, 03/16/90)
Application Specific Languages (0 replies, 03/21/90)
Journal: Formal Aspects of Computing (2 replies, 03/22/90)
specification for nonfunctional requirments ? (1 reply, 04/12/90)
Looking for users of Z and VDM (0 replies, 04/12/90)
PSTV X - 10th International Symposium (0 replies, 05/08/90)
Info on Data Flow Graphs (0 replies, 05/25/90)
extracting spec of existing system (0 replies, 05/30/90)
Workshop on VDM application (0 replies, 06/06/90)
Workshop on VDM application ** MISSING DATE GIVEN ** (0 replies, 06/07/90)
specification problem using Estelle (1 reply, 06/08/90)
Linear Algebra and Specifications (2 replies, 07/03/90)
Re^2: Linear Algebra and Specifications (0 replies, 07/04/90)
Proof rules for angelic choice? (4 replies, 07/04/90)
KBSA_5 Conference Program Announcement (0 replies, 07/10/90)
"Debugging Larch Shared Language Specifications" (0 replies, 07/11/90)
"Report on the Larch Shared Language, Version 2.3" (0 replies, 07/11/90)
How does formal specification tie in with OOD/OOP? (0 replies, 07/11/90)
New language for parallel computation - SEZ.YALE. (0 replies, 07/12/90)
Overwhelming demand for Ease Report - SEZ.YALE. (0 replies, 07/17/90)
Proof rules for Angelic choice (0 replies, 07/17/90)
Computer Glossary (0 replies, 07/18/90)
SafetyNet'90 Conference: CHANGE OF VENUE (0 replies, 07/20/90)
Petri nets as CCCs (0 replies, 07/28/90)
Seeking formal description of Meta-IV (1 reply, 07/29/90)
Petri nets as a CCC (1 reply, 08/01/90)
Request for Technology from the OSF (0 replies, 08/01/90)
Is VDM case studies book out yet? (6 replies, 08/02/90)
KBSA-5 Conference Program (0 replies, 08/03/90)
RA wanted in temporal logic at Newcastle (0 replies, 08/04/90)
Formal models of Specifications (1 reply, 08/09/90)
5th SDL FORUM: Introduction and Call for papers (0 replies, 08/09/90)
Techniques used to Prioritise Requirements (0 replies, 08/09/90)
Formal Specification (0 replies, 08/10/90)
VDM Book (0 replies, 08/14/90)
Something's backwards here... (1 reply, 08/20/90)
Knowledge-Based Software Development Conference (0 replies, 08/29/90)
Texts on algebraic specification? (1 reply, 08/30/90)
Renaming in Standard Z (0 replies, 09/03/90)
References to 'Z' specification language (6 replies, 09/05/90)
Summary of Respones to: Suggestions for Formal Spec Textbook (0 replies, 09/07/90)
5th Annual Z User Meeting - call for papers (0 replies, 09/08/90)
Your suggestions are needed in teaching Formal Spec (2 replies, 09/09/90)
parallel specification (1 reply, 09/13/90)
programme of FORTE 90 (0 replies, 09/17/90)
PEPM call for papers (0 replies, 09/19/90)
generating language bindings (1 reply, 09/24/90)
Research positions in Queensland, Australia (0 replies, 09/28/90)
References to generating tests from formal specifications (0 replies, 10/09/90)
specifying OBJ in itself (2 replies, 10/13/90)
FORTE 90 (1 reply, 10/16/90)
Call for Papers PLILP 91 (0 replies, 10/17/90)
SDL Forum (0 replies, 10/18/90)
New in the formal world (0 replies, 10/19/90)
Z Notation (1 reply, 10/22/90)
Formal specifications of Pascal (3 replies, 10/25/90)
Against executable specifications (11 replies, 10/26/90)
Difference between Spec and Code? Who cares? (3 replies, 10/31/90)
Call for papers SIGSOFT '91 (0 replies, 11/05/90)
VDM standardisation (2 replies, 11/06/90)
Reference required. (0 replies, 11/06/90)
SafetyNet Conference - proceedings (0 replies, 11/06/90)
Z User Meeting 1990 (0 replies, 11/07/90)
Z macros for Latex required (0 replies, 11/08/90)
PD spec. tools (0 replies, 11/09/90)
Difference between Spec and Code (0 replies, 11/10/90)
Difference between Spec and Code? (9 replies, 11/12/90)
Z questions (0 replies, 11/17/90)
Is EPROS available? (0 replies, 11/19/90)
Looking for Hayes' Case Studies book (1 reply, 11/20/90)
1991 SDL Forum Call for Papers (0 replies, 11/20/90)
VDM'91 Call for Papers (0 replies, 11/21/90)
LOTOS specification of Sliding Window Protocol (1 reply, 11/21/90)
announcement availability of LOTOS specs (0 replies, 11/21/90)
Information wanted on functional verification and cleanrooms (0 replies, 11/26/90)
1990 version of GROPE now available (0 replies, 12/06/90)
Research Assistantships in Formal Methods (0 replies, 12/12/90)
Oxford Techreport on Refinement (0 replies, 12/13/90)
HDLs (0 replies, 12/14/90)
Wanted: LaTeX macros for Z and Object-Z (1 reply, 12/14/90)
Wanted: LaTeX macros for Z (2 replies, 12/19/90)
Tech Reports from Oxford PRG (2 replies, 12/20/90)
A Mistake in "The Z Notation"? (1 reply, 12/20/90)
No Mistake in "The Z Notation"? (0 replies, 12/21/90)
formal system specification surveys (6 replies, 12/21/90)
re. survey on spec. languages (0 replies, 12/27/90)
Grammar for SDL (0 replies, 01/03/91)
Cambridge HOL System - 5-day intensive course (0 replies, 01/04/91)
Support Tools for Z? (1 reply, 01/04/91)
LOPSTR'91 workshop - call for participation (0 replies, 01/07/91)
The Stanford University Anna Toolset (0 replies, 01/09/91)
Learning/using VDM (0 replies, 01/09/91)
OO Specification ? (0 replies, 01/10/91)
CAV - New Deadline (0 replies, 01/15/91)
CAV91 CALL FOR PAPERS (1 reply, 01/16/91)
reference request (1 reply, 01/17/91)
Workshop on deontic logic in computer science (1 reply, 01/18/91)
CAV91 - CALL FOR PAPERS (1 reply, 01/21/91)
CFP DCC-92 (0 replies, 01/24/91)
"Specification Case Studies" by Hayes (1 reply, 01/30/91)
FUZZ (1 reply, 02/08/91)
Special Issue of Computer Networks and ISDN Systems on TOOLS FOR FDTs (0 replies, 02/09/91)
TAV - Call for Papers (0 replies, 02/12/91)
Unusual applications of LOTOS (0 replies, 02/14/91)
Looking for case studies (0 replies, 02/14/91)
Numerical Analysis/ Formal proofs (2 replies, 02/18/91)
Typos in my VDM book (0 replies, 02/19/91)
Z Specification Case Studies (1 reply, 02/24/91)
Object-Z facts (0 replies, 02/25/91)
Object-Z ? (1 reply, 02/26/91)
Tools for Distributed Systems (0 replies, 02/26/91)
Program Specifications - What to require from programmers. (2 replies, 03/02/91)
Database correctness (1 reply, 03/05/91)
Specifications (0 replies, 03/05/91)
IBM mouse (0 replies, 03/06/91)
"higher-order" spec\ (0 replies, 03/07/91)
Archives for the newsgroup comp.specification (0 replies, 03/07/91)
Z tools. (1 reply, 03/09/91)
LOPSTR'91 Second Call for Participation (0 replies, 03/11/91)
ProCoS Symposium, 14-18 October, Gl. Avernaes, Denmark (0 replies, 03/12/91)
PEPM'91 Advance Program (0 replies, 03/12/91)
Formal Methods Tools from HP Labs (0 replies, 03/12/91)
looking for COFF literature (0 replies, 03/15/91)
NL paraphrasing of specifications (0 replies, 03/16/91)
"higher-order" spec (1 reply, 03/20/91)
CORRECTION to the PEPM'91 Advance Program (0 replies, 03/21/91)
Petri Nets 91, June 24-28, Denmark (0 replies, 03/21/91)
Anyone know what PDES/STEP stands for? (4 replies, 03/24/91)
CFP FORTE'91 Formal Techniques Sydney Australia (0 replies, 03/28/91)
Share your LOTOS experience (0 replies, 04/02/91)
Wanted: TeX, LaTeX, or texinfo forms. (0 replies, 04/03/91)
Computer Assurance Conference COMPASS '91 (0 replies, 04/03/91)
formal methods for verifying/specifying software (0 replies, 04/06/91)
5-day Course on Cambridge HOL System (1 reply, 04/07/91)
wanted-for-TeXMacros-of-Z (1 reply, 04/15/91)
KBSE-91: CAll For Papers (1 reply, 04/16/91)
Book News; Towards a Theory of Cognition and Computing (0 replies, 04/18/91)
second announcement CFP formal techniques in RT and FT systems (1 reply, 04/22/91)
Formal Aspects of Measurement (0 replies, 04/22/91)
RFD: comp.specification.z (0 replies, 04/23/91)
Static semantics of imperative languages in Z? (0 replies, 04/23/91)
ieee mass storage model ?? any help? (0 replies, 04/24/91)
Specifying static semantics in Z (0 replies, 04/24/91)
VDM style file (0 replies, 04/25/91)
Bibliography of LOTOS (0 replies, 05/01/91)
LOTOS Bibliography (1 reply, 05/06/91)
Divergences in CSP (0 replies, 05/07/91)
LOTOS BNF (0 replies, 05/09/91)
BCS--FACS RAISE TUTORIAL (0 replies, 05/09/91)
Forward references in denotational semantics (0 replies, 05/10/91)
Game of Life in CSP (0 replies, 05/13/91)
CFV: comp.specification.z (0 replies, 05/14/91)
Software Requirements Specification Wanted (0 replies, 05/19/91)
Tutorial papers (0 replies, 05/21/91)
The best tutorial on formal specifications (6 replies, 05/23/91)
Larch Shared Language -> LP (0 replies, 05/24/91)
Algebraic Spec. meets Functional Prog. How? (0 replies, 05/26/91)
Z User Meeting - Call for Papers (0 replies, 05/28/91)
A Larch interface language for concurrency (0 replies, 05/28/91)
A Larch style interface language for Smalltalk-80 (0 replies, 05/29/91)
2nd CFV and VOTE ACK: comp.specification.z (0 replies, 05/30/91)
Complexity in making changes to requirements. (3 replies, 05/31/91)
TeX macros for Z ... (1 reply, 05/31/91)
Wanted: Lotos latex macro and emacs mode (1 reply, 06/01/91)
Survey of Software Visualization Techniques (0 replies, 06/01/91)
Advanced Z Course on Proof (0 replies, 06/03/91)
ICSE-12 workshop on industrial experience using formal methods (0 replies, 06/04/91)
IFIP PSTV XI Advance Program (0 replies, 06/05/91)
Z spec for Producer/Consumer (0 replies, 06/07/91)
Multiple Views of Specifications (0 replies, 06/08/91)
Object-Z references wanted (2 replies, 06/12/91)
Skepticism Towards Specifications (1 reply, 06/13/91)
Problem with LOTOS specification (5 replies, 06/15/91)
Reverse engineering - obtaining a formal spec from existing systems (0 replies, 06/16/91)
Conference Announcement: 6th KBSE (0 replies, 06/17/91)
Reverse-engineering (0 replies, 06/17/91)
David Harel at Manchester (0 replies, 06/18/91)
VDM vs Z notation? (7 replies, 06/19/91)
RESULT: comp.specification.z passes 194: 40 (0 replies, 06/19/91)
LOTOS semantics - detailed questions/issues (0 replies, 06/20/91)
Z, VDM and non-functional requirements (1 reply, 06/20/91)
Rapid prototyping of formal specifications (0 replies, 06/21/91)
IEEE papers, where?? (0 replies, 06/24/91)
Structuring large spec VDM vs Z ? (1 reply, 06/25/91)
Formal Specifications as a Basis for Software Testing (0 replies, 06/25/91)
C A L L F O R P A P E R S : 5th REFINEMENT WORKSHOP (0 replies, 06/26/91)
Code to Specifications (0 replies, 06/27/91)
Report on Larch/Modula-3 interface language available (0 replies, 06/27/91)
Formal Reasoning System (0 replies, 06/27/91)
Looking for .DXF file format (0 replies, 06/27/91)
OBJ (0 replies, 06/28/91)
Can you share your specifications? (0 replies, 06/30/91)