Conferences in DBLP

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

1. J. Michael Spivey
   Meeting the Challenge of Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:1- [Conf]
   
2. Soon-Kyeong Kim, David A. Carrington
   A Formal Mapping between UML Models and Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:2-21 [Conf]
   
3. Régine Laleau, Amel Mammar
   A Generic Process to Refine a B Specification into a Relational Database Implementation. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:22-41 [Conf]
   
4. Graeme Smith
   Recursive Schema Definitions in Object-Z. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:42-58 [Conf]
   
5. Ian Toyn, Samuel H. Valentine, David A. Duffy
   On Mutually Recursive Free Types in Z. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:59-74 [Conf]
   
6. David A. Duffy, Ian Toyn
   Reasoning Inductively about Z Specifications via Unification. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:75-94 [Conf]
   
7. Ken Robinson
   Reconciling Axiomatic and Model-Based Specifications Using the B Method. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:95-106 [Conf]
   
8. Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
   Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:107-126 [Conf]
   
9. Pierre Bontron, Marie-Laure Potet
   Automatic Construction of Validated B Components from Structured Developments. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:127-147 [Conf]
   
10. Dominique Cansell, Dominique Méry
    Playing with Abstraction and Refinement for Managing Features Interactions. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:148-167 [Conf]
    
11. Mark d'Inverno, Koen V. Hindriks, Michael Luck
    A Formal Architecture for the 3APL Agent Programming Language. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:168-187 [Conf]
    
12. Helen Treharne, Steve Schneider
    How to Drive a B Machine. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:188-208 [Conf]
    
13. Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
    Deriving Software Specifications from Event Based Models. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:209-229 [Conf]
    
14. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
    Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:230-249 [Conf]
    
15. Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
    Type-Constrained Generics for Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:250-263 [Conf]
    
16. Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
    Typechecking Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:264-285 [Conf]
    
17. Ralph Miarka, Eerke A. Boiten, John Derrick
    Guards, Preconditions, and Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:286-303 [Conf]
    
18. Richard Banach, Michael Poppleton
    Retrenchment, Refinement, and Simulation. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:304-323 [Conf]
    
19. Michael J. Butler, Mairead Meagher
    Performing Algorithmic Refinement before Data Refinement in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:324-343 [Conf]
    
20. Martin C. Henson, Steve Reeves
    Program Development and Specification Refinement in the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:344-362 [Conf]
    
21. Jean-Louis Lanet
    Are Smart Cards the Ideal Domain for Applying Formal Methods? [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:363-373 [Conf]
    
22. Susan Stepney, David Cooper
    Formal Methods for Industrial Products. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:374-393 [Conf]
    
23. Bill Stoddart
    An Execution Architecture for GSL. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:394-413 [Conf]
    
24. Wolfgang Grieskamp
    A Computation Model for Z Based on Concurrent Constraint Resolution. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:414-432 [Conf]
    
25. R. D. Arthan
    Analysis of Compiled Code: A Prototype Formal Model. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:433-449 [Conf]
    
26. David Everett
    Zzzzzzzzzzzzzzzzzzzzzzzzzz. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:450- [Conf]
    
27. David Cooper, Susan Stepney
    Segregation with Communication. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:451-470 [Conf]
    
28. David A. Duffy, Jürgen Giesl
    Closure Induction in a Z-Like Language. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:471-490 [Conf]
    
29. Chris Matthews, Paul A. Swatman
    Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:491-510 [Conf]