Conferences in DBLP

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

1. Constance L. Heitmeyer
   Formal Methods: A Panacea or Academic Poppycock? [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:3-9 [Conf]
   
2. Bill Stoddart
   An Introduction to the Event Calculus. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:10-34 [Conf]
   
3. M. A. Hewitt, Colin O'Halloran, Chris T. Sennett
   Experiences with PiZA, an Animator for Z. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:37-51 [Conf]
   
4. Steffen Helke, Thomas Neustupny, Thomas Santen
   Automating Test Case Generation from Z Specifications with Isabelle. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:52-71 [Conf]
   
5. Mark Saaltink
   The Z/EVES System. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:72-85 [Conf]
   
6. Anthony Hall
   Taking Z Seriously. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:89-91 [Conf]
   
7. Klaus Achatz, Wolfram Schulte
   A Formal OO Method Inspired by Fusion and Object-Z. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:92-111 [Conf]
   
8. Jon G. Hall, Andrew Martin
   W Reconstructed. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:115-134 [Conf]
   
9. Ina Kraan
   Using the Rippling Heuristic in Set Membership Proofs. [Citation Graph (0, 0)][DBLP]
   ZUM, 1997, pp:135-147 [Conf]
   
10. Egon Börger, S. Mazzanti
    A Practical Method for Rigorously Controllable Hardware Design. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:151-187 [Conf]
    
11. Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent
    Integrating VDM++ and Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:188-219 [Conf]
    
12. Michael J. Butler
    An Approach to the Design of Distributed Systems with B AMN. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:223-241 [Conf]
    
13. Kevin Lano
    Specifying Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:242-274 [Conf]
    
14. Andy Evans
    An Improved Recipe for Specifying Reactive Systems in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:275-294 [Conf]
    
15. Mark d'Inverno, Michael J. Hu
    A Z Specification of the Soft-Link Hypertext Model. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:297-316 [Conf]
    
16. Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
    Experience with Z Developing a Control Program for a Radiation Therapy Machine. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:317-328 [Conf]
    
17. John C. Knight, Susan S. Brilliant
    Preliminary Evaluation of a Formal Approach to User Interface Specification. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:329-346 [Conf]
    
18. Paolo Ciancarini, Cecilia Mascolo
    Analyzing and Refining an Architectural Style. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:349-368 [Conf]
    
19. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
    Weak Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:369-388 [Conf]
    
20. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:391-424 [Conf]
    
21. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:425-433 [Conf]