MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Z and the Refinement Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

A practical approach to software engineering using Z and the refinement calculus
by Kenneth R. Wood — 1993 — In Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering
…A practical approach to software engineering using Z and the refinement calculus Kenneth R. Wood…
Cited by 3 (0 self) – Add To MetaCart

Supporting Module Reuse in Refinement
by Ian Hayes, Ian J. Hayes — 1994
… abstractions is essential. For formal development in methods such as VDM, Z and the refinement calculus…
Add To MetaCart

Refinement of Complex Systems: A Case Study
by Gavin Lowe, Hussein Zedan — 1995 — The Computer Journal
…. For example, in [1], the Z refinement calculus is used in industrial applications; similarly, the Con…
Cited by 10 (5 self) – Add To MetaCart

Operational Semantics for Model Checking Circus
by Jim Woodcock, Ana Cavalcanti, Leonardo Freitas — 2005 — of Lecture Notes in Computer Science
… combination of Z, CSP, and the refinement calculus, and is based on Hoare & He’s Unifying Theories…
Cited by 2 (0 self) – Add To MetaCart

A Logic for Schema-Based Program Development
by Martin C. Henson, Steve Reeves — 2002
… of specification refinement and implementation (and hence program) development based on the schema calculus of Z…
Cited by 2 (1 self) – Add To MetaCart

Annotated Z Bibliography
by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… method from Z to C [308] Wood. A practical approach using Z and the refinement calculus [321] Wordsworth…
Add To MetaCart

Annotated Z Bibliography Jonathan Bowen
by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… method from Z to C [308] Wood. A practical approach using Z and the refinement calculus [321] Wordsworth…
Add To MetaCart

Formal Method Integration via Heterogeneous Notations
by Richard Freeman Paige, Richard Freeman Paige — 1997
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.1.5 Z and the refinement calculus . . . . . . . . . . . . . . . . . . . . . . . . . 39 2…
Cited by 12 (8 self) – Add To MetaCart

With Contributions by
by Ian Hayes, Bill Flinn, Roger Gimson, Steve King, Carroll Morgan, Ib Holm Sørensen, Ian Hayes
… the refinement calculus and a paper by Steve King [37] discusses the relationship between Z and the refinement…
Add To MetaCart

Foundations Of The B Method
by Dominique Cansell, Dominique Méry — 2003 — Computing and Informatics
… are not clearly distinguished in Z. The refinement calculus used in B for defining the refinement between models…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB