Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Model-based specification
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Model-based_design/6EXz2qjp">Model-based design</a></li> <li><a href="/facts/Model-based_testing/fzRyEpU8">Model-based testing</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Cliff B. Jones (1980). Software Development: A Rigorous Approach. Prentice Hall International. ISBN 0-13-821884-6. <a href="0-13-821884-6" target="_blank">0-13-821884-6</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Cliff B. Jones (1986). Systematic Software Development using VDM. Prentice Hall International. ISBN 0-13-880717-5. <a href="0-13-880717-5" target="_blank">0-13-880717-5</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Ian J. Hayes (May 1986). "Using mathematics to specify software" (PDF). Proceedings of the 1st Australian Software Engineering Conference. ASWEC-86. pp. 67–71. <a href="http://www.itee.uq.edu.au/~ianh/Papers/aswec.pdf" target="_blank">http://www.itee.uq.edu.au/~ianh/Papers/aswec.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>J. Michael Spivey (1992). The Z Notation: A reference manual (2nd ed.). Prentice Hall International Series in Computer Science. ISBN 0-13-978529-9. Archived from the original on 2008-10-09. Retrieved 2010-10-24. <a href="0-13-978529-9" target="_blank">0-13-978529-9</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>