default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ZUM 1997: Reading, UK
- Jonathan P. Bowen
, Michael G. Hinchey, David Till:
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212, Springer 1997, ISBN 3-540-62717-0
Real-Time Systems
- Constance L. Heitmeyer:
Formal Methods: A Panacea or Academic Poppycock? 3-9 - Bill Stoddart:
An Introduction to the Event Calculus. 10-34
Tools
- M. A. Hewitt, Colin O'Halloran, Chris T. Sennett:
Experiences with PiZA, an Animator for Z. 37-51 - Steffen Helke, Thomas Neustupny, Thomas Santen:
Automating Test Case Generation from Z Specifications with Isabelle. 52-71 - Mark Saaltink:
The Z/EVES System. 72-85
Applications I
- Anthony Hall:
Taking Z Seriously. 89-91 - Klaus Achatz, Wolfram Schulte:
A Formal OO Method Inspired by Fusion and Object-Z. 92-111
Logic
- Jon G. Hall, Andrew P. Martin:
W Reconstructed. 115-134 - Ina Kraan:
Using the Rippling Heuristic in Set Membership Proofs. 135-147
System Development
- Egon Börger, Stefano Mazzanti:
A Practical Method for Rigorously Controllable Hardware Design. 151-187 - Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent:
Integrating VDM++ and Real-Time System Design. 188-219
Reactive Systems
- Michael J. Butler:
An Approach to the Design of Distributed Systems with B AMN. 223-241 - Kevin Lano:
Specifying Reactive Systems in B AMN. 242-274 - Andy Evans:
An Improved Recipe for Specifying Reactive Systems in Z. 275-294
Applications II
- Mark d'Inverno, Michael J. Hu:
A Z Specification of the Soft-Link Hypertext Model. 297-316 - Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler:
Experience with Z Developing a Control Program for a Radiation Therapy Machine. 317-328 - John C. Knight, Susan S. Brilliant:
Preliminary Evaluation of a Formal Approach to User Interface Specification. 329-346
Refinement
- Paolo Ciancarini, Cecilia Mascolo:
Analyzing and Refining an Architectural Style. 349-368 - John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Weak Refinement in Z. 369-388
Appendices
- Jonathan P. Bowen:
Select Z Bibliography. 391-424 - Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. 425-433
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:40 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:
