The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Klaus Grimm
    Industrial Requirements for the Efficient Development of Reliable Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:1-4 [Conf]
  2. Clemens Fischer
    How to Combine Z with Process Algebra. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:5-23 [Conf]
  3. Bill Stoddart
    The Specification and Refinement of an Environmental Model. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:24-41 [Conf]
  4. Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
    Formal Derivation of Finite State Machines for Class Testing. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:42-59 [Conf]
  5. Ib Holm Sørensen
    Using B to Specify, Verify and Design Hardware Circuits. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:60-65 [Conf]
  6. Jonathan P. Bowen, David Chippington
    Z on the Web Using Java. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:66-80 [Conf]
  7. Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali
    Visualizing Z Notation in HTML Documents. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:81-95 [Conf]
  8. Thomas Santen
    On the Semantic Relation of Z and HOL. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:96-115 [Conf]
  9. Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
    HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:116-134 [Conf]
  10. Nancy G. Leveson
    Designing a Requirements Specification Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:135- [Conf]
  11. Jonathan Jacky
    Analyzing a Real-Time Program with Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:136-153 [Conf]
  12. R. D. Arthan
    Recursive Definitions in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:154-171 [Conf]
  13. Martin C. Henson, Steve Reeves
    A Logic for the Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:172-191 [Conf]
  14. Ernst-Rüdiger Olderog
    Combining Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:192- [Conf]
  15. Ian Toyn
    Innovations in the Notation of Standard Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:193-213 [Conf]
  16. Richard F. Paige
    Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:214-232 [Conf]
  17. Samuel H. Valentine
    Inconsistency and Undefinedness in Z - A Practical Guide. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:233-249 [Conf]
  18. Kevin Lano, Pauline Kan, Ana Sánchez
    Compositional Specification of Controllers for Batch Process Operations. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:250-264 [Conf]
  19. John Derrick, Eerke A. Boiten
    Testing Refinements by Refining Tests. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:265-283 [Conf]
  20. Susan Stepney, David Cooper, Jim Woodcock
    More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:284-307 [Conf]
  21. Brendan P. Mahony, Jin Song Dong
    Network Topology and a Case Study in TCOZ. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:308-327 [Conf]
  22. Viktor Friesen, André Nordwig, Matthias Weber
    Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:328-346 [Conf]
  23. Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
    Translating the OMT Dynamic Model into Object-Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:347-366 [Conf]
  24. Jonathan P. Bowen
    Select Z Bibliography. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:367-406 [Conf]
  25. Jonathan P. Bowen
    Comp.specification.z and Z FORUM Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:407-415 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002