default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th Z User Workshop 1990: Oxford, UK
- John E. Nicholls:
Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing, Springer 1991, ISBN 3-540-19672-2
Theory and Foundations
- Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock:
A Simpler Semantics for Z. Z User Workshop 1990: 3-11 - Ian J. Hayes:
Interpretations of Z Schema Operations. Z User Workshop 1990: 12-26 - P. J. Lupton:
Promoting Forward Simulation. Z User Workshop 1990: 27-49 - Pier Luigi Iachini:
Operation Schema Iterations. Z User Workshop 1990: 50-57 - Cliff B. Jones:
Interference Revisited. Z User Workshop 1990: 58-73
Standards and Tools
- Andrew Charles Coombes, John A. McDermid:
A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92 - David Jordan, John A. McDermid, Ian Toyn:
CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104 - Dave Neilson:
Machine Support for Z: the zebB Tool. Z User Workshop 1990: 105-128 - Brian Hepworth, Dan Simpson:
The ZIP Project. Z User Workshop 1990: 129-136
Methods
- Andrew M. Gravell:
What is a Good Formal Specification? Z User Workshop 1990: 137-150 - Kevin Lano:
Z++, An Object-orientated Extension to Z. Z User Workshop 1990: 151-172 - Silvio Romero de Lemos Meira, Ana Cavalcanti:
Modular Object-oriented Z Specifications. Z User Workshop 1990: 173-192 - Peter John Whysall, John Alexander McDermid:
An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215 - Gill Randell:
Data Flow Diagrams and Z. Z User Workshop 1990: 216-227 - Lesley Semmens, Pat Allen:
Using Yourdon and Z: an Approach to Formal Specification. Z User Workshop 1990: 228-253 - Jonathan D. Moffett, Morris Sloman:
A Case Study in Representing a Model: to Z or not to Z? Z User Workshop 1990: 254-268 - John Bainbridge, Robin W. Whitty, John Wordsworth:
Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop 1990: 269-281
Industrial Applicaton
- John Wordsworth:
The CICS Application Programming Interface Definition. Z User Workshop 1990: 285-294 - Peter T. Breuer:
Z! in Progress: Maintaining Z Specifications. Z User Workshop 1990: 295-318 - Michael J. Butler:
Service Extension at the Specification Level. Z User Workshop 1990: 319-333
Training and Education
- Allan Norcliffe, Samuel H. Valentine:
A Video-based Training Course in Reading Z Specifications. Z User Workshop 1990: 337-342 - John E. Nicholls:
A Survey of Z Courses in the UK. Z User Workshop 1990: 343-350
Selected Z Bibliography
- Jonathan P. Bowen:
Selected Z Bibliography. Z User Workshop 1990: 353-373
Posters
- Malcolm Teasdale:
Metrics and Measurement of Specifications Written in Z. Z User Workshop 1990: 377-377 - Jonathan P. Bowen:
Z FORUM Electronic Mailing List. Z User Workshop 1990: 378-378 - Jonathan P. Bowen:
PRG Archive Server. Z User Workshop 1990: 379-379 - Formal Methods Courses. Z User Workshop 1990: 380-380
- Silvio Romero de Lemos Meira:
The MooZ Environment. Z User Workshop 1990: 381-381 - Software Products and Training Courses. Z User Workshop 1990: 382-382
- Formal Security Policy Modelling. Z User Workshop 1990: 383-383
- Fiona Polack, Peter Hitchcock, Alan W. Brown:
SAZ. Z User Workshop 1990: 384-384 - S/370 Tool Expo - Z Toolset. Z User Workshop 1990: 385-385
- Steve Russ:
Structure, Algebras and Metrics. Z User Workshop 1990: 386-386 - Colin Parker:
Z Tools Catalogue. Z User Workshop 1990: 387-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
