Object-Z

<h2 id="external-links">External links</h2>

<ul><li><a href="http://staff.itee.uq.edu.au/smith/objectz/objectz.html">The Object-Z Home Page</a></li>
<li><a href="http://czt.sourceforge.net/">Community Z Tools (CZT) project</a> <a href="https://web.archive.org/web/20040701113340/http://czt.sourceforge.net/">Archived</a> 1 July 2004 at the <a href="/facts/Wayback_Machine/nmQ3a6JC">Wayback Machine</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Smith, Graeme (2000). The Object-Z Specification Language. Springer. ISBN 978-1-4615-5265-9. <a href="978-1-4615-5265-9" target="_blank">978-1-4615-5265-9</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Mahony, B.; Dong, Jin Song (February 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering. 26 (2): 150–177. CiteSeerX 10.1.1.62.820. doi:10.1109/32.841115. <a href="/wiki/IEEE_Transactions_on_Software_Engineering" target="_blank">/wiki/IEEE_Transactions_on_Software_Engineering</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Dong, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05). pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5. S2CID 10062286. <a href="978-0-7695-2284-5" target="_blank">978-0-7695-2284-5</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Derrick, John; Boiten, Eerke A. (2014). Refinement in Z and Object-Z (2nd ed.). Springer. ISBN 978-1-4471-5355-9. <a href="978-1-4471-5355-9" target="_blank">978-1-4471-5355-9</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Object-Z open-in-new

Object-Z