Conferences in DBLP

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

1. Dan Craigen, Susan L. Gerhart, Ted Ralston
   An International Survey of Industrial Applications of Formal Methods. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:1-5 [Conf]
   
2. Samuel H. Valentine
   Putting Numbers into the Mathematical Toolkit. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:9-36 [Conf]
   
3. Ian J. Hayes, Luke Wildman
   Towards Libraries for Z. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:37-51 [Conf]
   
4. J. E. Nicholls
   Plain Guide to the Z Base Standard. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:52-61 [Conf]
   
5. Kevin Lano, Howard P. Haughton
   Reuse and Adaptation of Z Specifications. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:62-90 [Conf]
   
6. Andrew Bradley
   Reqirements for Defence Standard 00-55. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:93-94 [Conf]
   
7. Jonathan Jacky
   Formal Specification and Development of Control System Input/Output. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:95-108 [Conf]
   
8. John C. Knight, Darrell M. Kienzle
   Preliminary Experience Using Z to Specify a Safety-Critical System. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:109-118 [Conf]
   
9. Andrew Coombes, John A. McDermid
   Using Diagrams to Give a Formal Specification of Timing Constraints in Z. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1992, pp:119-130 [Conf]
   
10. Alastair R. Ruddle
    Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:131-146 [Conf]
    
11. Ian Maung, John Howse
    Introducing Hyper-Z - A New Approach to Object Orientation in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:149-165 [Conf]
    
12. G.-H. Bagherzadeh Rafsanjani, S. J. Colwill
    From Object-Z to C++: A Structural Mapping. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:166-179 [Conf]
    
13. Elspeth Cusack, Clazien D. Wezeman
    Deriving Tests for Objects Specified in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:180-195 [Conf]
    
14. Elspeth Cusack
    Using Z in Communications Engineering. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:196-202 [Conf]
    
15. Paul A. Swatman
    Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:205-239 [Conf]
    
16. Christine Draper
    Practical Experiences of Z and SSADM. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:240-251 [Conf]
    
17. Rosalind Barden, Susan Stepney
    Support for Using Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:255-280 [Conf]
    
18. Glyn Normington
    Cleanroom and Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:281-293 [Conf]
    
19. Matthew Love
    Animating Z Specifications in SQL*Forms 3.0. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:294-306 [Conf]
    
20. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:309-341 [Conf]
    
21. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:342-347 [Conf]