MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Object-Z." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1,252 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • An Object-Z Browser  
  • by An Object-z Browser, An Object-z Browser, Wendy Johnston, Wendy Johnston — 1997
  • … Queensland 4072 Australia TECHNICAL REPORT No. 97-27 An Object-Z Browser Wendy Johnston November 1997 Phone…
  • Add To MetaCart
  • A Logic for Object-Z  
  • by Graeme Smith, Graeme Smith — 1994 — Proceedings of the 9th Annual Z-User Meeting
  • … Logic for Object-Z December 1994 A Logic for Object-Z Graeme Smith Software Verification Research…
  • Cited by 24 (8 self) – Add To MetaCart
  • An Overview of Mobile Object-Z  
  • by Kenji Taguchi, Jin Song Dong — 2002 — 4th International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of LNCS
  • …An Overview of Mobile Object-Z Kenji Taguchi 1 and Jin Song Dong 2 1 Department of Information…
  • Cited by 4 (1 self) – Add To MetaCart
  • Modular Reasoning in Object-Z  
  • by Alena Griffiths, Alena Griffiths — 1997 — Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference
  • … Queensland 4072 Australia TECHNICAL REPORT No. 97--28 Modular Reasoning in Object-Z Alena Griffiths August…
  • Cited by 5 (0 self) – Add To MetaCart
  • Timed Communicating Object Z  
  • by Brendan Mahony, Jin Song Dong — 2000 — IEEE Transactions on Software Engineering
  • … systems. The notation Timed Communicating Object Z (TCOZ) builds on Object-Z's strengths in modeling…
  • Cited by 32 (13 self) – Add To MetaCart
  • Structural refinement in Object-Z / CSP  
  • by John Derrick, Graeme Smith — 2000 — 2ND INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS (IFM’00), VOLUME 1945 OF LECTURE NOTES IN COMPUTER SCIENCE
  • …Structural refinement in Object-Z / CSP John Derrick 1 and Graeme Smith 2 1 Computing Laboratory…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB