Investigating Z (2000)

Cached

Download Links

by Martin C. Henson , Steve Reeves
Citations:11 - 4 self

Active Bibliography

3 Revising Z: Part II - logical development – Martin C. Henson, Steve Reeves - 1999
4 Revising Z: Part I - logic and semantics – Martin C. Henson, Steve Reeves - 1999
JACK: A process algebra implementation in Java – Leonardo Freitas - 2002
5 Recursive Definitions in Z – R.D. Arthan - 1998
2 On Mutually Recursive Free Types in Z – I. Toyn, S. H. Valentine, D.A. Duffy - 2000
1 RFC 3066: Tags for the identification of languages (replaces – Greg Reeve - 1766
1 Type-constrained Generics for Z – Samuel Valentine, Ian Toyn, Susan Stepney, Steve King
4 Constructive Foundations for Z – Martin C. Henson, Steve Reeves - 1997
2 Six theories of operation refinement for partial relation semantics Moshe Deutsch – Moshe Deutsch, Martin Henson Steve, Steve Reeves - 2002
Approaches to proof in Z - or - Why effective proof tool support for Z is hard – Andrew Martin, Andrew Martin - 1997
5 Machine-Assisted Theorem-Proving for Software Engineering – Andrew Martin - 1994
1 A project to develop an inductive proof assistant for Z integrating classical and rewrite strategies – David A. Duffy, Alan M. Frisch, Ian Toyn - 1997
4 Domains as a Prerequisite for Requirements and Software --- Domain Perspectives & Facets, Requirements Aspects and Software Views – Dines Bjørner - 1997
1 Specifying and Refining internal operations in Z – John Derrick, John Derrick, Eerke Boiten, Eerke Boiten, Howard Bowman, Howard Bowman, Maarten Steen, Maarten Steen - 1998
4 Structural refinement in Object-Z / CSP – John Derrick, Graeme Smith - 2000
9 Weak Refinement in Z – John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen - 1997
5 Formal Methods in Knowledge Engineering – Frank Van Harmelen, Dieter Fensel - 1995
2 A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems – Martin Große-Rhode
5 A Semantics for a Simple Sub-language of Object-Z – Alena Griffiths, Alena Griffiths - 1996