The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock
    A Simpler Semantics for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:3-11 [Conf]
  2. Ian J. Hayes
    Interpretations of Z Schema Operations. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:12-26 [Conf]
  3. P. J. Lupton
    Promoting Forward Simulation. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:27-49 [Conf]
  4. P. L. Iachini
    Operation Schema Iterations. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:50-57 [Conf]
  5. Cliff B. Jones
    Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:58-73 [Conf]
  6. Andrew Coombes, John A. McDermid
    A Tool for Defining the Architecture of Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:77-92 [Conf]
  7. David Jordan, John A. McDermid, Ian Toyn
    CADIZ - Computer Aided Design in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:93-104 [Conf]
  8. Dave Neilson
    Machine Support for Z: the zebB Tool. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:105-128 [Conf]
  9. Brian Hepworth, Dan Simpson
    The ZIP Project. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:129-136 [Conf]
  10. Andrew M. Gravell
    What is a Good Formal Specification? [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:137-150 [Conf]
  11. Kevin Lano
    Z++, An Object-orientated Extension to Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:151-172 [Conf]
  12. Silvio Romero de Lemos Meira, Ana Cavalcanti
    Modular Object-oriented Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:173-192 [Conf]
  13. Peter J. Whysall, John A. McDermid
    An Approach to Object-Oriented Specification Using Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:193-215 [Conf]
  14. Gill Randell
    Data Flow Diagrams and Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:216-227 [Conf]
  15. Lesley Semmens, Pat Allen
    Using Yourdon and Z: an Approach to Formal Specification. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:228-253 [Conf]
  16. Jonathan D. Moffett, Morris Sloman
    A Case Study in Representing a Model: to Z or not to Z? [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:254-268 [Conf]
  17. John Bainbridge, R. W. Whitty, John Wordsworth
    Obtaining Structural Metrics of Z Specifications for Systems Development. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:269-281 [Conf]
  18. John Wordsworth
    The CICS Application Programming Interface Definition. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:285-294 [Conf]
  19. Peter T. Breuer
    Z! in Progress: Maintaining Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:295-318 [Conf]
  20. Michael J. Butler
    Service Extension at the Specification Level. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:319-333 [Conf]
  21. Allan Norcliffe, Samuel H. Valentine
    A Video-based Training Course in Reading Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:337-342 [Conf]
  22. J. E. Nicholls
    A Survey of Z Courses in the UK. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:343-350 [Conf]
  23. Jonathan P. Bowen
    Selected Z Bibliography. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:353-373 [Conf]
  24. Malcolm Teasdale
    Metrics and Measurement of Specifications Written in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:377-377 [Conf]
  25. Jonathan P. Bowen
    Z FORUM Electronic Mailing List. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:378-378 [Conf]
  26. Jonathan P. Bowen
    PRG Archive Server. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:379-379 [Conf]

  27. Formal Methods Courses. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:380-380 [Conf]
  28. Silvio Romero de Lemos Meira
    The MooZ Environment. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:381-381 [Conf]

  29. Software Products and Training Courses. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:382-382 [Conf]

  30. Formal Security Policy Modelling. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:383-383 [Conf]
  31. Fiona Polack, Peter Hitchcock, Alan W. Brown
    SAZ. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:384-384 [Conf]

  32. S/370 Tool Expo - Z Toolset. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:385-385 [Conf]
  33. Steve Russ
    Structure, Algebras and Metrics. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:386-386 [Conf]
  34. Colin Parker
    Z Tools Catalogue. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:387-388 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002