Search Results for Software engineering - Narrowed by: Hinchey, Michael G SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dSoftware$002bengineering$0026qf$003dAUTHOR$002509Author$002509Hinchey$00252C$002bMichael$002bG.$002509Hinchey$00252C$002bMichael$002bG$0026ps$003d300?dt=list 2019-10-16T07:49:17Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:526743 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings<br/>by&#160;Butler, Michael.&#160;Hinchey, Michael G.&#160;Larrondo-Petrie, Mar&iacute;a M.&#160;SpringerLink (Online service)<br/>Published&#160;2007.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-76650-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:525233 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers<br/>by&#160;Hinchey, Michael G.&#160;Rago, Patricia.&#160;Rash, James L.&#160;Rouff, Christopher A.&#160;Sterritt, Roy.<br/>Published&#160;2006.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11964995">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195760 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers<br/>by&#160;Hinchey, Michael G.&#160;Rash, James L.&#160;Truszkowski, Walter F.&#160;Rouff, Christopher.&#160;Gordon-Spears, Diana.<br/>Published&#160;2003.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b11729">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196014 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z Formal Approaches to Agent-Based Systems [electronic resource] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5&ndash;7, 2000 Revised Papers<br/>by&#160;Rash, James L.&#160;Truszkowski, Walt.&#160;Hinchey, Michael G.&#160;Rouff, Christopher A.&#160;Gordon, Diana.<br/>Published&#160;2001.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-45484-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177214 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z Industrial-Strength Formal Methods in Practice [electronic resource]<br/>by&#160;Hinchey, Michael G.&#160;Bowen, Jonathan P.&#160;SpringerLink (Online service)<br/>Published&#160;1999.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4471-0523-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177932 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z High-Integrity System Specification and Design [electronic resource]<br/>by&#160;Bowen, Jonathan P.&#160;Hinchey, Michael G.&#160;SpringerLink (Online service)<br/>Published&#160;1999.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4471-3431-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200811 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z ZUM &rsquo;98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings<br/>by&#160;Bowen, Jonathan P.&#160;Fett, Andreas.&#160;Hinchey, Michael G.&#160;SpringerLink (Online service)<br/>Published&#160;1998.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b68208">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200973 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z ZUM '97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users Reading, UK, April 3&ndash;4, 1997 Proceedings<br/>by&#160;Bowen, Jonathan P.&#160;Hinchey, Michael G.&#160;Till, David.&#160;SpringerLink (Online service)<br/>Published&#160;1997.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/BFb0027279">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195490 2019-10-16T07:49:17Z 2019-10-16T07:49:17Z ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7&ndash;9, 1995 Proceedings<br/>by&#160;Bowen, Jonathan P.&#160;Hinchey, Michael G.&#160;SpringerLink (Online service)<br/>Published&#160;1995.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-60271-2">e-book</a><br/>