Conferences in DBLP

Z Users Conference (ZUM) (zum)
1994 (conf/zum/1994)

1. Robert P. Worden
   Fermenting and Distilling. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:1-6 [Conf]
   
2. Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
   The Formal Specification in Z of Defence Standard 00-56. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:9-28 [Conf]
   
3. Peter Mataga, Pamela Zave
   Formal Specification of Telephone Features. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:29-50 [Conf]
   
4. David A. Carrington, Phil Stocks
   A Tale of Two Paradigms: Formal Methods and Software Testing. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:51-68 [Conf]
   
5. David Garlan
   Integrating Formal Methods into a Professional Master of Software Engineering Program. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:71-85 [Conf]
   
6. Graeme Smith
   An Object-Oriented Development Framework for Z. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:89-107 [Conf]
   
7. Clazien D. Wezeman, Anthony J. Judge
   Z for Managed Objects. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:108-119 [Conf]
   
8. Anthony Hall
   Specifying and Interpreting Class Hierarchies in Z. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:120-138 [Conf]
   
9. Jonathan P. Bowen, Michael J. C. Gordon
   Z and HOL. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:141-167 [Conf]
   
10. Peter Baumann
    Z and Natural Semantics. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:168-184 [Conf]
    
11. Peter T. Breuer, Jonathan P. Bowen
    Towards Correct Executable Semantics for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:185-209 [Conf]
    
12. Jon G. Hall, John A. McDermid
    Towards a Z Method: Axiomatic Specification in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:213-229 [Conf]
    
13. Fiona Polack, Keith Mander
    Software Quality Assurance Using the SAZ Method. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:230-249 [Conf]
    
14. Antoni Diller, Rosemary Docherty
    Z and Abstract Machine Notation: A Comparison. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:250-263 [Conf]
    
15. Leslie Lamport
    TLZ. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:267-268 [Conf]
    
16. Andy Evans
    Visualising Concurrent Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:269-281 [Conf]
    
17. Marcin Engel
    Specifying Real-Time Systems with Z and the Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:282-294 [Conf]
    
18. Daniel K. C. Chan, Philip W. Trinder
    An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:297-315 [Conf]
    
19. Jonathan Hammond
    Producing Z Specifications from Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:316-336 [Conf]
    
20. Wilhelm Hasselbring
    Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:337-356 [Conf]
    
21. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:359-396 [Conf]
    
22. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:397-403 [Conf]