Searching for "Modular Object-oriented Z Specifications." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Annotated Z Bibliography
by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… to object-orientation [203] Meira and Cavalcanti. MooZ: Modular object-oriented Z specifications [254, 255…
Add To MetaCart

Annotated Z Bibliography Jonathan Bowen
by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… and Cavalcanti. MooZ: Modular object-oriented Z specifications [254, 255] Schuman, Pitt et al. Object-oriented…
Add To MetaCart

Showing 1 through 2.

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