Conferences in DBLP

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

1. David Lorge Parnas
   Language-Free Mathematical Methods for Software Design. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:3-4 [Conf]
   
2. Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo
   A Formal Approach to Software Design: The Clepsydra Methodology. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:5-24 [Conf]
   
3. David Edmond
   Refining Database Systems. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:25-44 [Conf]
   
4. Michael Luck, Mark d'Inverno
   Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:47-62 [Conf]
   
5. Patrícia D. L. Machado, Silvio Romero de Lemos Meira
   On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:63-82 [Conf]
   
6. Mark d'Inverno, Mark Priestley
   Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:83-102 [Conf]
   
7. John M. Rushby
   Mechanizing Formal Methods: Opportunities and Challenges. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:105-113 [Conf]
   
8. Arthur P. Hughes, Alexis A. Donnelly
   An Algebraic Proof in VDM. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:114-133 [Conf]
   
9. Susan Stepney
   Testing as Abstraction. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:137-151 [Conf]
   
10. Hans-Martin Hörcher
    Improving Software Tests Using Z Specifications. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:152-166 [Conf]
    
11. Erich Mikk
    Compilation of Z Specifications into C for Automatic Test Result Evaluation. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:167-180 [Conf]
    
12. Samuel H. Valentine
    Equal Rights for Schemas in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:183-202 [Conf]
    
13. Anthony MacDonald, David A. Carrington
    Structuring Z Specifications: Some Choices. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:203-223 [Conf]
    
14. Daniel M. Germán, Donald D. Cowan
    Experiments with the Z Interchange Format and SGML. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:224-233 [Conf]
    
15. Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
    The Future of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:237-242 [Conf]
    
16. Barbara Liskov, Jeannette M. Wing
    Specifications and Their Use in Defining Subtypes. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:245-263 [Conf]
    
17. Ben Strulo
    How Firing Conditions Help Inheritance. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:264-275 [Conf]
    
18. Graeme Smith
    Extending W for Object-Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:276-295 [Conf]
    
19. Peter Bancroft, Ian J. Hayes
    A Formal Semantics for a Language with Type Extension. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:299-314 [Conf]
    
20. Jonathan Jacky, Jonathan Unger
    From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:315-333 [Conf]
    
21. Pascal Bernard, Guy Laffitte
    The French Population Census for 1990. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:334-352 [Conf]
    
22. Ina Kraan, Peter Baumann
    Implementing Z in Isabelle. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:355-373 [Conf]
    
23. Howard S. Goodman
    The Z-into-Haskell Tool-Kit: An Illustrative Case Study. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:374-388 [Conf]
    
24. Margaret M. West
    Types and Sets in Gödel and Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:389-407 [Conf]
    
25. Colman Reilly
    Exploring Specifications with Mathematica. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:408-420 [Conf]
    
26. Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark Norris, Clive Selley
    Using Z to Rigorously Review a Specification of a Network Management System. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:423-433 [Conf]
    
27. Robert B. France, Maria M. Larrondo-Petrie
    A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:434-448 [Conf]
    
28. Howard Bowman, John Derrick, Maarten Steen
    Viewpoints and Objects. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:449-468 [Conf]
    
29. David Lorge Parnas
    Teaching Programming as Engineering. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:471-481 [Conf]
    
30. Paolo Ciaccia, Paolo Ciancarini
    A Course on Formal Methods in Software Engineering: Matching Requirements with Design. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:482-496 [Conf]
    
31. Jeannette M. Wing
    Hints for Writing Specifications. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:497- [Conf]
    
32. Neville Dean
    Mental Models of Z: I - Sets and Logics. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:498-507 [Conf]
    
33. David Gries
    Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:508-509 [Conf]
    
34. Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová
    Z Browser - A Tool for Visualization of Z Specifications. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:510-523 [Conf]
    
35. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:527-560 [Conf]
    
36. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:561-569 [Conf]