CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><html lang="en"> <head> <title>Deakin University / All Locations</title> <base target="_self"/> <link rel="stylesheet" type="text/css" href="/scripts/ProStyles.css" /> <link rel="stylesheet" type="text/css" href="/screens/styles.css" /> <link rel="shortcut icon" type="ximage/icon" href="/screens/favicon.ico" /> <script type="text/javascript" src="/scripts/common.js"></script> <script type="text/javascript" src="/scripts/webbridge.js"></script> <script type="text/javascript" src="/scripts/elcontent.js"></script> <meta http-equiv="X-UA-Compatible" content="IE=8;FF=3;OtherUA=4"><script type="text/javascript" src="/screens/iiilangswitch.js"></script><link rel="stylesheet" type="text/css" href="/screens/styles_print.css" media="print"><script type="text/javascript" src="/screens/bibdisplay.js"></script> </head> <body bgcolor="#FFFFFF" >     <script> window.dataLayer = window.dataLayer || []; window.dataLayer.push({ 'cmsType' : 'WebPAC-PRO' }); </script> <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-N3CB');</script>  <script language="JavaScript" type="text/javascript">  </script> <script language="JavaScript1.1" type="text/javascript">  </script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script>  <noscript><div id="div-javascript">This page contains enriched content visible when JavaScript is enabled.</div></noscript> <div id="deakinwrapper">      <div id="header-new">   <iframe src="https://www.deakin.edu.au/library/media/static/deakin-header3" width="100%" height="115" scrolling="no" frameborder="0" style="margin: 0; vertical-align:bottom;" aria-label="Deakin header" title="Deakin header"></iframe> </div> <div class="pageContentColumn"> <div class="topLinks"> <ul id="topLinksList"> <li><a href="/patroninfo" title="Login to My Account" class="top-myaccount"><span class="buttonText">My Account</span></a></li> <li><a href="https://www.deakin.edu.au/library" title="Library home page" class="top-libhome"><span class="buttonText">Library Home</span></a></li> </ul> </div> <a name="content"></a>  <script type="text/JavaScript">  </script> <div id="TimeoutPopup" tabindex="0" class="modal" onkeypress="refreshSession(event)"> <div class="modal-content"> Your session will expire automatically in <span id=TimeoutSeconds>0</span> seconds.<br> <br> <button id="CancelTimeout" onclick="refreshSession()">Continue session</button> <button id="DoTimeout" onclick="endSession()">End session now</button></div> </div> <noscript> <meta http-equiv="Refresh" content="18000;URL=/" /> </noscript>  <div id="bibDisplayBody"> <div class="navigationRowRecord"> <a href="/search~S1?/.b3998694/.b3998694/1,1,1,B/?save_func=save_to_mylist&save=b3998694&returnurl=/search~S1?/.b3998694/.b3998694/1%2C1%2C1%2CB/frameset~b3998694"><span class="button buttonNav">Save to My Lists</span></a> <a href="/search~S1?/.b3998694/.b3998694/1,1,1,B/frameset~b3998694?save=b3998694"><span class="button buttonNav">Export</span></a> </div> <div id="bibDisplayContent"> <div class="bibSearch"> <script type="text/JavaScript">  </script> <form name="searchtool" target="_self" action="/search~S1/" method='GET'> <label for="searchtype" style="display:none;">SearchType</label> <select name="searchtype" id="searchtype" onChange="initSort()"> <option value="X"> Keyword</option> <option value="t"> Title</option> <option value="a"> Author (Last name first)</option> <option value="d"> Subject</option> <option value="i"> ISBN/ISSN</option> <option value="c"> Call Number</option> <option value="f"> Unit Code</option> <option value="m"> Libraries Australia No.</option> <option value="l"> Library of Congress No.</option> <option value="." selected="selected"> Record #</option> </select>   <label for="searcharg" style="display:none;">Search</label><input type="text" name="searcharg" id="searcharg" size="30" onchange='return searchtoolSubmitAction()'maxlength="75" value="b3998694" />   <label for="searchscope" style="display:none;">Search Scope</label><select name="searchscope" id="searchscope"> <option value="1" selected="selected"> Entire Collection</option> <option value="11"> Print Books</option> <option value="9"> E-books</option> <option value="12"> All books</option> <option value="10"> E-journals</option> <option value="6"> All journals</option> <option value="13"> Databases</option> <option value="3"> All e-resources</option> <option value="2"> Streaming Video</option> <option value="14"> DVDs</option> <option value="5"> Curriculum Resources</option> <option value="4"> Deakin Theses</option> <option value="8"> Special Collections</option> <option value="7"> GIFT City</option> <option value="15"> Melbourne Burwood</option> <option value="16"> Warrnambool</option> <option value="17"> Geelong Waterfront</option> <option value="18"> Geelong Waurn Ponds</option> </select>   <span id="sort_cell"> </span> <script type="text/JavaScript">  </script> <input type="hidden" name="SORT" value="D" /><input type="hidden" name="extended" value="0" /> <input type="submit" name="SUBMIT" value="Search" onclick='return searchtoolSubmitAction();' /> <div> <input type="checkbox" name="availlim" value="1" /> <span class="availLimMessage">Limit search to available items</span><br/> </div> <div> <input type="hidden" name="searchlimits" value="" /> <input type="hidden" name="searchorigarg" value=".b3998694" /> </div> </form> <div class="bibSearchHistory"> </div> </div>  <div class="bibPager"> </div> <div class="bibClear"></div> <div class="bibResourceSidebar">  <a href="/record=b3998694~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> <div class="bibDisplayJacket"> <img src="https://secure.syndetics.com/index.aspx?isbn=9783319254234/SC.gif&client=deaka&type=unbound" border="0" alt="Book Cover"><div class="bibMedia"> <img src="/screens/media_ebook.gif" alt="E-book"></div> </div> <div class="bibDisplayContentMain">  <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js" type="text/javascript"></script> <link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" integrity="sha384-T8Gy5hrqNKT+hzMclPo118YTQO6cYprQmhrYwIiQ/3axmI1hQomh7Ud2hPOy8SP1" crossorigin="anonymous"> <script src="https://www.stackmap.com/integration/deakin_webpac/StackMap.js" type="text/javascript"></script> <link rel="stylesheet" media="all" type="text/css" href="https://www.stackmap.com/integration/deakin_webpac/StackMap.css" />   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> </table>  </td></tr> </table>  <h1 class="bibDisplayTitle">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Title</td> <td class="bibInfoData"> <strong>Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Za茂di</strong></td></tr> </table>  </td></tr> </table>    <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Edition</td> <td class="bibInfoData"> 1st ed. 2015</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Published</td> <td class="bibInfoData"> Cham : Springer International Publishing : Imprint : Springer, 2015</td></tr> </table>  </td></tr> </table>  <div class="testlinkeddocs"> </div> <div class="bibDisplayUrls"> <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibLinks"> <tr><th> Click on the following:</th></tr> <tr align="center"> <td > <a href="http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-319-25423-4" onclick="window.open('http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-319-25423-4'); return false;">Springer Computer Science eBooks</a><br /> </td> </tr> <tr align="center"> <td > <a href="http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-319-25423-4" onclick="window.open('http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-319-25423-4'); return false;">Springer eBooks</a><br /> </td> </tr> </table> </div> <div class="bibDisplayItems"> <div class="bibDisplayItemsHeader"><h2>Copies</h2></div> <div class="bibDisplayItemsMain"> </div> </div> <div class="bibDisplayContentMore">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Description</td> <td class="bibInfoData"> 1 online resource (XXV, 436 pages 150 illustrations in color.) : online resource</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Series</td> <td class="bibInfoData"> Lecture Notes in Computer Science, 0302-9743 ; 9407</td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/tLecture+notes+in+computer+science+%3B+9407.+0302-9743+http%3A%2F%2Fid.loc.gov%2Fauthorities%2Fnames%2Fn42015162/tlecture+notes+in+computer+science+++++9407+++++0302+++++9743+http+id+loc+gov+authorities+names+n42015162/-3,-1,0,B/browse">Lecture notes in computer science ; 9407. 0302-9743</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Contents</td> <td class="bibInfoData"> Intro; Preface; Organization; Invited Talks; Can Java Ever Be Safe? The hiJaC Project Abstract; Specification and Analysis of SoC Flows (Abstract); Algorithmic Analysis for Asynchronous Programs; Contents; Domain-Specific Languages with Scala; 1 Introduction; 2 External DSLs; 2.1 The Parser Library Approach; 2.2 The Parser Tool Approach; 3 Internal DSLs; 3.1 Annotations; 3.2 Shallow Embedding; 3.3 Deep Embedding; 4 Discussion; 5 Conclusions; References; Formal Verification of Programs Computing the Floating-Point Average; 1 Introduction; 2 Basics About Floating-Point Arithmetic</td></tr> <tr> <td></td> <td class="bibInfoData"> 3 Methodology and Desired Specification3.1 Methodology; 3.2 Desired Specification; 4 Formal Proof of the Algorithms; 4.1 The average1 Function; 4.2 The average3 Function; 4.3 The average2 Function; 4.4 Putting All Parts Together: The Average Functions; 5 Specifications and Formal Verification of the Programs; 5.1 Absolute Value; 5.2 Accurate Average; 5.3 Correct Average; 6 Conclusion and Perspectives; References; Formalization and Verification of Declarative Cloud Orchestration; 1 Introduction; 2 TOSCA: Topology and Orchestration Specification for Cloud Application</td></tr> <tr> <td></td> <td class="bibInfoData"> 3 Model of Automation of Topologies4 CafeOBJ Specification of Model; 5 Verification of Setup Operation; 5.1 Proof Score for Condition (1); 5.2 Cyclic Dependency; 5.3 Proof Score for Condition (2); 5.4 Proof Scores for Condition (3), (4), (5) and (6); 6 Related Work and Conclusion; References; Consistency Verification of Specification Rules; 1 Introduction; 2 Background; 2.1 Constraints Satisfiability; 2.2 Rules Consistency; 3 Relationship Between MISes and MUSes; 4 An Efficient Algorithm for Enumerating MUSes; 4.1 The MARCO algorithm; 4.2 The MUSesHunter Algorithm</td></tr> <tr> <td></td> <td class="bibInfoData"> 4.3 Comparing MARCO and MUSesHunter5 Empirical Analysis; 5.1 MUSesHunter vs. MARCO; 5.2 MISes Finder; 6 Conclusion; References; Applying Automata Learning to Embedded Control Software; 1 Introduction; 2 Engine Status Manager; 2.1 ESRA; 2.2 ESM and Connected Components; 2.3 Rational Rose RealTime; 2.4 The ESM State Diagram; 3 Learning the ESM; 3.1 Experimental Set-Up; 3.2 Test Selection Strategies; 3.3 Results; 4 Verification; 4.1 Approach; 4.2 Model Transformations; 4.3 Results; 5 Conclusions and Future Work; References</td></tr> <tr> <td></td> <td class="bibInfoData"> A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information1 Introduction; 2 Computation Tree Logic and Kripke Structures; 2.1 Kripke Modal Transition System; 2.2 KMTS as a Set of Kripke Structures; 3 Semantics of CTL with Respect to KMTS; 4 KMTS Operations; 4.1 Dealing with Sets of KMTSs; 4.2 Tree Partition Set; 5 The Contraction Model Checking; 6 Conclusions; References; Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction; 1 Introduction; 2 Major Ideas of PBFSRA; 2.1 Principle of PBFSRA; 2.2 Procedure of Applying PBFSRA</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Summary</td> <td class="bibInfoData"> This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Bibliography</td> <td class="bibInfoData"> Includes bibliographical references and index</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Subject</td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+science./dcomputer+science/-3,-1,0,B/browse">Computer science.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+networks./dcomputer+networks/-3,-1,0,B/browse">Computer networks.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+programming./dcomputer+programming/-3,-1,0,B/browse">Computer programming.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware+engineering./dsoftware+engineering/-3,-1,0,B/browse">Software engineering.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dProgramming+languages+%28Electronic+computers%29/dprogramming+languages+electronic+computers/-3,-1,0,B/browse">Programming languages (Electronic computers)</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dAlgorithms./dalgorithms/-3,-1,0,B/browse">Algorithms.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dLogic%2C+Symbolic+and+mathematical./dlogic+symbolic+and+mathematical/-3,-1,0,B/browse">Logic, Symbolic and mathematical.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dElectronic+Data+Processing/delectronic+data+processing/-3,-1,0,B/browse">Electronic Data Processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+Communication+Networks/dcomputer+communication+networks/-3,-1,0,B/browse">Computer Communication Networks</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dAlgorithms/dalgorithms/-3,-1,0,B/browse">Algorithms</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dcomputer+programming./dcomputer+programming/-3,-1,0,B/browse">computer programming.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dalgorithms./dalgorithms/-3,-1,0,B/browse">algorithms.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+programming+--+software+development./dcomputer+programming+software+development/-3,-1,0,B/browse">Computer programming -- software development.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dProgramming+%26+scripting+languages%3A+general./dprogramming+and+scripting+languages+general/-3,-1,0,B/browse">Programming & scripting languages: general.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dAlgorithms+%26+data+structures./dalgorithms+and+data+structures/-3,-1,0,B/browse">Algorithms & data structures.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dMathematical+theory+of+computation./dmathematical+theory+of+computation/-3,-1,0,B/browse">Mathematical theory of computation.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dNetwork+hardware./dnetwork+hardware/-3,-1,0,B/browse">Network hardware.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware+Engineering./dsoftware+engineering/-3,-1,0,B/browse">Software Engineering.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputers+--+Programming+--+General./dcomputers+programming+general/-3,-1,0,B/browse">Computers -- Programming -- General.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputers+--+Programming+Languages+--+General./dcomputers+programming+languages+general/-3,-1,0,B/browse">Computers -- Programming Languages -- General.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputers+--+Programming+--+Algorithms./dcomputers+programming+algorithms/-3,-1,0,B/browse">Computers -- Programming -- Algorithms.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dMathematics+--+Logic./dmathematics+logic/-3,-1,0,B/browse">Mathematics -- Logic.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputers+--+Hardware+--+Network+Hardware./dcomputers+hardware+network+hardware/-3,-1,0,B/browse">Computers -- Hardware -- Network Hardware.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputers+--+Software+Development+%26+Engineering+-/dcomputers+software+development+and+engineering+general/-3,-1,0,B/browse">Computers -- Software Development & Engineering -- General.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dAlgorithms/dalgorithms/-3,-1,0,B/browse">Algorithms</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+networks/dcomputer+networks/-3,-1,0,B/browse">Computer networks</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+programming/dcomputer+programming/-3,-1,0,B/browse">Computer programming</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+science/dcomputer+science/-3,-1,0,B/browse">Computer science</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dLogic%2C+Symbolic+and+mathematical/dlogic+symbolic+and+mathematical/-3,-1,0,B/browse">Logic, Symbolic and mathematical</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dProgramming+languages+%28Electronic+computers%29/dprogramming+languages+electronic+computers/-3,-1,0,B/browse">Programming languages (Electronic computers)</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware+engineering/dsoftware+engineering/-3,-1,0,B/browse">Software engineering</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Genre/Form</td> <td class="bibInfoData"> <a href="/search~S1?/hdictionaries./hdictionaries/-3,-1,0,B/browse">dictionaries.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hConference+papers+and+proceedings/hconference+papers+and+proceedings/-3,-1,0,B/browse">Conference papers and proceedings</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hDictionaries./hdictionaries/-3,-1,0,B/browse">Dictionaries.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hDictionnaires./hdictionnaires/-3,-1,0,B/browse">Dictionnaires.</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Form</td> <td class="bibInfoData"> <a href="/search~S1?/hElectronic+book/helectronic+book/-3,-1,0,B/browse">Electronic book</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Author</td> <td class="bibInfoData"> <a href="/search~S1?/aButler%2C+Michael%2C+1967-/abutler+michael+++++1967/-3,-1,0,B/browse">Butler, Michael, 1967- editor.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/aConchon%2C+Sylvain%2C/aconchon+sylvain/-3,-1,0,B/browse">Conchon, Sylvain, editor</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/aZa{u00EF}di%2C+Fatiha%2C/azaidi+fatiha/-3,-1,0,B/browse">Za茂di, Fatiha, editor</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">ISBN</td> <td class="bibInfoData"> 9783319254234</td></tr> <tr> <td></td> <td class="bibInfoData"> 3319254235</td></tr> </table>  </td></tr> </table>   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> </table>  </td></tr> </table>  </div>         <div class="bibDisplayContentMore bibDisplayReviews"> <div class="bibDisplayPermLink actionButtonArea"> <a href="/record=b3998694~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> </div> </div>  <script src="https://unbound.syndetics.com/syndeticsunbound/connector/initiator.php?a_id=465&i_id=1182" type="text/javascript"></script>  </div> <div class="clear"></div> </div> <br />    </div> <div style="clear:both"></div> </div> <iframe src="https://www.deakin.edu.au/library/media/static/deakin-footer2" target="_top" style="width:100%;height: 648px;border: none;overflow: hidden;margin: 0;" scrolling="no" aria-label="Deakin footer" title="Deakin footer"></iframe>   </body> </html> <script> // replace generic title in head with item title if (jQuery("div.navigationRow form select option").length !== 0) { document.title = jQuery("div.navigationRow form select option").next().html().trim(); /*addMetaTag('og:title', document.title);*/ } else if (jQuery("tr td.bibInfoLabel:contains('Title')").length !== 0) { document.title = jQuery("tr td.bibInfoLabel:contains('Title')").next().children('strong').text().trim(); /*addMetaTag('og:title', document.title);*/ } </script>  <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name' , 'description'); meta.setAttribute('content', document.title + ' is a resource in the Deakin University Library collection'); document.head.appendChild(meta); </script> <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name', 'viewport'); meta.setAttribute('content','width=device-width, initial-scale=1.0'); document.head.appendChild(meta); </script>  <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'alternate'); link.setAttribute('href', 'http:' + '//' + 'm.library.deakin.edu.au' + location.pathname); link.setAttribute ('media', 'only screen and (max-width: 640px)') document.head.appendChild(link); </script> <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'canonical'); link.setAttribute('href', 'http:' + '//' + 'library.deakin.edu.au' + location.pathname); document.head.appendChild(link); </script>