default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ZUM 1998: Berlin, Germany
- Jonathan P. Bowen
, Andreas Fett, Michael G. Hinchey:
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493, Springer 1998, ISBN 3-540-65070-9
Industrial Issues
- Klaus Grimm:
Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1-4
Concurrency
- Clemens Fischer:
How to Combine Z with Process Algebra. 5-23 - Bill Stoddart:
The Specification and Refinement of an Environmental Model. 24-41 - Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper:
Formal Derivation of Finite State Machines for Class Testing. 42-59
Tools
- Ib Holm Sørensen:
Using B to Specify, Verify and Design Hardware Circuits. 60-65 - Jonathan P. Bowen, David Chippington:
Z on the Web Using Java. 66-80 - Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali:
Visualizing Z Notation in HTML Documents. 81-95
Z and HOL
- Thomas Santen:
On the Semantic Relation of Z and HOL. 96-115 - 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. 116-134
Safety-Critical and Real-Time Systems
- Nancy G. Leveson:
Designing a Requirements Specification Language for Reactive Systems. 135 - Jonathan Jacky:
Analyzing a Real-Time Program with Z. 136-153
Semantic Theory
- R. D. Arthan:
Recursive Definitions in Z. 154-171 - Martin C. Henson, Steve Reeves:
A Logic for the Schema Calculus. 172-191
Theory and Standards
- Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time. 192 - Ian Toyn:
Innovations in the Notation of Standard Z. 193-213
Reasoning and Consistency Issues
- Richard F. Paige:
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 214-232 - Samuel H. Valentine:
Inconsistency and Undefinedness in Z - A Practical Guide. 233-249
Refinement
- Kevin Lano, Pauline Kan, Arturo Sanchez:
Compositional Specification of Controllers for Batch Process Operations. 250-264 - John Derrick, Eerke A. Boiten:
Testing Refinements by Refining Tests. 265-283 - Susan Stepney, David Cooper, Jim Woodcock:
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 284-307
Object Orientation
- Brendan P. Mahony, Jin Song Dong:
Network Topology and a Case Study in TCOZ. 308-327 - Viktor Friesen, André Nordwig, Matthias Weber:
Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. 328-346 - Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud:
Translating the OMT Dynamic Model into Object-Z. 347-366
Appendices
- Jonathan P. Bowen:
Select Z Bibliography. 367-406 - Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. 407-415
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:
