[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Jim Davies"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Jim Davies"></meta><title>Department of Computer Science, University of Oxford: Jim Davies : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Jim.Davies"><span itemprop="name">Jim Davies</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Jim Davies : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Jim.Davies.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Jim.Davies.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Jim.Davies.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Jim.Davies.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Books
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Engineering Agile Big&#x2212;Data Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Kevin Feeney&#x201a; Jim Davies&#x201a; James Welch&#x201a; Sebastian Hellmann&#x201a; Christian Dirschl&#x201a; Andreas Koller&#x201a; Pieter Francois and Arkadiusz Marciniak  </em> </p>
	
	<p class="publicationDetails"> 2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12215-abstract.html">
			Details <span class="sr-only" > about <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a> |
			<a href="/publications/publication12215.bib">
			BibTeX  <span class="sr-only" > data for <em> Engineering Agile Big&#x2212;Data Systems  </em></span>   </a>
			
			
					| <a href="https://www.riverpublishers.com/research_details.php?book_id=659"> Link <span class="sr-only" > to <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Millennial Perspectives in Computer Science </strong> </p>
	    <p class="publicationAuthors"> <em> J. Davies&#x201a; A. Roscoe and J. Woodcock, editors  </em> </p>
	
	<p class="publicationDetails"> Palgrave.
        2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2258-abstract.html">
			Details <span class="sr-only" > about <em> Millennial Perspectives in Computer Science  </em></span> </a> |
			<a href="/publications/publication2258.bib">
			BibTeX  <span class="sr-only" > data for <em> Millennial Perspectives in Computer Science  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using Z: Specification&#x201a; Refinement&#x201a; and Proof </strong> </p>
	    <p class="publicationAuthors"> <em> J. Woodcock and J. Davies  </em> </p>
	
	<p class="publicationDetails"> Prentice Hall International.
        1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2249-abstract.html">
			Details <span class="sr-only" > about <em> Using Z: Specification&#x201a; Refinement&#x201a; and Proof  </em></span> </a> |
			<a href="/publications/publication2249.bib">
			BibTeX  <span class="sr-only" > data for <em> Using Z: Specification&#x201a; Refinement&#x201a; and Proof  </em></span>   </a>
			
			 | <a
		href="http://lccn.loc.gov/96004347">
		LCCN (96004347)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Specification and Proof in Real&#x2212;time CSP </strong> </p>
	    <p class="publicationAuthors"> <em> J. Davies  </em> </p>
	
	<p class="publicationDetails"> Cambridge University Press.
        1993.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2223-abstract.html">
			Details <span class="sr-only" > about <em> Specification and Proof in Real&#x2212;time CSP  </em></span> </a> |
			<a href="/publications/publication2223.bib">
			BibTeX  <span class="sr-only" > data for <em> Specification and Proof in Real&#x2212;time CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Book chapters
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Software Project Management for Combined Software and Data Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Seyyed M. Shah&#x201a; James Welch&#x201a; Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Zaigham Mahmood, editor,
             
            <em>
            Software Project Management for Distributed Computing: Life&#x2212;Cycle Methods for Developing Scalable and Reliable Tools</em>.
        
                Pages 367&#x2212;385.
            Springer International Publishing.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10977-abstract.html">
			Details <span class="sr-only" > about <em> Software Project Management for Combined Software and Data Engineering  </em></span> </a> |
			<a href="/publications/publication10977.bib">
			BibTeX  <span class="sr-only" > data for <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-54325-3_15">
		DOI (10.1007/978-3-319-54325-3_15)
		</a> 
					| <a href="https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf"> Download (pdf)  <span class="sr-only" > of <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Cross&#x2212;Trial Query System for Cancer Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Radu Calinescu&#x201a; Steve Harris&#x201a; Jeremy Gibbons and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In Tarek Sobh, editor,
             
            <em>
            Innovations and Advanced Techniques in Computer and Information Sciences and Engineering</em>.
        
                Pages 385&#x2013;390.
            Springer.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication451-abstract.html">
			Details <span class="sr-only" > about <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span> </a> |
			<a href="/publications/publication451.bib">
			BibTeX  <span class="sr-only" > data for <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-1-4020-6268-1_69">
		DOI (10.1007/978-1-4020-6268-1_69)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/crosstrial.pdf"> Download (pdf)  <span class="sr-only" > of <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Abstract data types and Processes </strong> </p>
	    <p class="publicationAuthors"> <em> J. Woodcock&#x201a; J. Davies and C. Bolton  </em> </p>
	
	<p class="publicationDetails"> 2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2250-abstract.html">
			Details <span class="sr-only" > about <em> Abstract data types and Processes  </em></span> </a> |
			<a href="/publications/publication2250.bib">
			BibTeX  <span class="sr-only" > data for <em> Abstract data types and Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Real&#x2212;time CSP </strong> </p>
	    <p class="publicationAuthors"> <em> J. Davies and S. Schneider  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Theories and Experiences for Real&#x2212;time Systems</em>.
        World Scientific.
        1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2233-abstract.html">
			Details <span class="sr-only" > about <em> Real&#x2212;time CSP  </em></span> </a> |
			<a href="/publications/publication2233.bib">
			BibTeX  <span class="sr-only" > data for <em> Real&#x2212;time CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal model&#x2212;driven engineering of critical information systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Milward&#x201a; Chen&#x2212;Wei Wang and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 103.
        
                Pages 88 &#x2212; 113.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11989-abstract.html">
			Details <span class="sr-only" > about <em> Formal model&#x2212;driven engineering of critical information systems  </em></span> </a> |
			<a href="/publications/publication11989.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal model&#x2212;driven engineering of critical information systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2014.11.004">
		DOI (10.1016/j.scico.2014.11.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; James Welch and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 88&#x2212;104.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6508-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span> </a> |
			<a href="/publications/publication6508.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.002">
		DOI (10.1016/j.scico.2013.02.002)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 126&#x2212;143.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5947-abstract.html">
			Details <span class="sr-only" > about <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication5947.bib">
			BibTeX  <span class="sr-only" > data for <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.010">
		DOI (10.1016/j.scico.2013.02.010)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf"> Download (pdf)  <span class="sr-only" > of <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Economies and Diseconomies of Scale in Software Development </strong> </p>
	    <p class="publicationAuthors"> <em> Craig Comstock&#x201a; Zhizhong Jiang and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Software Maintenance</em>.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6509-abstract.html">
			Details <span class="sr-only" > about <em> Economies and Diseconomies of Scale in Software Development  </em></span> </a> |
			<a href="/publications/publication6509.bib">
			BibTeX  <span class="sr-only" > data for <em> Economies and Diseconomies of Scale in Software Development  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Models for Forms </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel Abler&#x201a; Charles Crichton&#x201a; Jim Davies&#x201a; Steve Harris and James Welch  </em> </p>
	
	<p class="publicationDetails"> October,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5467-abstract.html">
			Details <span class="sr-only" > about <em> Models for Forms  </em></span> </a> |
			<a href="/publications/publication5467.bib">
			BibTeX  <span class="sr-only" > data for <em> Models for Forms  </em></span>   </a>
			
			
					| <a href="http://www.dsmforum.org/events/DSM11/"> Link <span class="sr-only" > to <em> Models for Forms  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metadata&#x2212;Driven Software for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Andrew Tsui and James Brenton  </em> </p>
	
	<p class="publicationDetails"> May,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2865-abstract.html">
			Details <span class="sr-only" > about <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication2865.bib">
			BibTeX  <span class="sr-only" > data for <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/SEHC.2009.5069600">
		DOI (10.1109/SEHC.2009.5069600)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf"> Download (pdf)  <span class="sr-only" > of <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods for Future Interoperability </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>ACM Inroads</em>.
        
            Vol. 41.
        
            No. 2.
        
                Pages 60&#x2212;64.
            June,
            2009.
        </p> <p
            class="publicationNote"> A revised version of "Formal Methods for Electronic Government" (FMET&#x201a; 2008)</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2893-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods for Future Interoperability  </em></span> </a> |
			<a href="/publications/publication2893.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods for Future Interoperability  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1595453.1595463">
		DOI (10.1145/1595453.1595463)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Formal Methods for Future Interoperability  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Automatic Maintenance of Association Invariants </strong> </p>
	    <p class="publicationAuthors"> <em> James Welch&#x201a; David Faitelson and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software and Systems Modeling</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1022-abstract.html">
			Details <span class="sr-only" > about <em> Automatic Maintenance of Association Invariants  </em></span> </a> |
			<a href="/publications/publication1022.bib">
			BibTeX  <span class="sr-only" > data for <em> Automatic Maintenance of Association Invariants  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s10270-008-0085-0">
		DOI (10.1007/s10270-008-0085-0)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Domain&#x2212;specific Semantics and Data Refinement of Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Faitelson and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 195.
        
                Pages 151&#x2013;170.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1060-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;specific Semantics and Data Refinement of Object Models  </em></span> </a> |
			<a href="/publications/publication1060.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;specific Semantics and Data Refinement of Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2007.08.031">
		DOI (10.1016/j.entcs.2007.08.031)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Singleton Failures Semantics for Communicating Sequential Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            Vol. 18.
        
            No. 2.
        
                Pages 181&#x2212;210.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2214-abstract.html">
			Details <span class="sr-only" > about <em> A Singleton Failures Semantics for Communicating Sequential Processes  </em></span> </a> |
			<a href="/publications/publication2214.bib">
			BibTeX  <span class="sr-only" > data for <em> A Singleton Failures Semantics for Communicating Sequential Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Charles Crichton&#x201a; Edward Crichton&#x201a; David Neilson and Ib Holm S&#xf8;rensen  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 130.
        
                Pages 39&#x2212;55.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2229-abstract.html">
			Details <span class="sr-only" > about <em> Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering  </em></span> </a> |
			<a href="/publications/publication2229.bib">
			BibTeX  <span class="sr-only" > data for <em> Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2005.03.004">
		DOI (10.1016/j.entcs.2005.03.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Method for the Automatic Generation of Test Suites from Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra&#x201a; Charles Crichton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information & Software Technology</em>.
        
            Vol. 46.
        
            No. 5.
        
                Pages 309&#x2212;314.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2303-abstract.html">
			Details <span class="sr-only" > about <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span> </a> |
			<a href="/publications/publication2303.bib">
			BibTeX  <span class="sr-only" > data for <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.infsof.2003.09.004">
		DOI (10.1016/j.infsof.2003.09.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Concurrency and Refinement in the Unified Modeling Language </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            Vol. 15.
        
            No. 2&#x2212;3.
        
                Pages 118&#x2212;145.
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2226-abstract.html">
			Details <span class="sr-only" > about <em> Concurrency and Refinement in the Unified Modeling Language  </em></span> </a> |
			<a href="/publications/publication2226.bib">
			BibTeX  <span class="sr-only" > data for <em> Concurrency and Refinement in the Unified Modeling Language  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s00165-003-0008-3">
		DOI (10.1007/s00165-003-0008-3)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Concurrency and Refinement in the Unified Modeling Language </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 70.
        
            No. 3.
        
                Pages 217&#x2212;243.
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2227-abstract.html">
			Details <span class="sr-only" > about <em> Concurrency and Refinement in the Unified Modeling Language  </em></span> </a> |
			<a href="/publications/publication2227.bib">
			BibTeX  <span class="sr-only" > data for <em> Concurrency and Refinement in the Unified Modeling Language  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S1571-0661(05)80494-3">
		DOI (10.1016/S1571-0661(05)80494-3)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A comparison of refinement orderings and their associated simulation rules </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 70.
        
            No. 3.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2216-abstract.html">
			Details <span class="sr-only" > about <em> A comparison of refinement orderings and their associated simulation rules  </em></span> </a> |
			<a href="/publications/publication2216.bib">
			BibTeX  <span class="sr-only" > data for <em> A comparison of refinement orderings and their associated simulation rules  </em></span>   </a>
			
			
					| <a href="http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt\#010"> Link <span class="sr-only" > to <em> A comparison of refinement orderings and their associated simulation rules  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using CSP to Verify Sequential Consistency </strong> </p>
	    <p class="publicationAuthors"> <em> Gavin Lowe and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Distributed Computing</em>.
        
            Vol. 12.
        
            No. 2&#x2212;3.
        
                Pages 91&#x2212;103.
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2243-abstract.html">
			Details <span class="sr-only" > about <em> Using CSP to Verify Sequential Consistency  </em></span> </a> |
			<a href="/publications/publication2243.bib">
			BibTeX  <span class="sr-only" > data for <em> Using CSP to Verify Sequential Consistency  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/journals/00446/bibs/9012002/90120091.htm"> Link <span class="sr-only" > to <em> Using CSP to Verify Sequential Consistency  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Brief History of Timed CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Theoretical Computer Science</em>.
        
            Vol. 138.
        
            No. 2.
        
                Pages 243&#x2212;271.
            1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2232-abstract.html">
			Details <span class="sr-only" > about <em> A Brief History of Timed CSP  </em></span> </a> |
			<a href="/publications/publication2232.bib">
			BibTeX  <span class="sr-only" > data for <em> A Brief History of Timed CSP  </em></span>   </a>
			
			
					| <a href="http://dx.doi.org/10.1016/0304-3975(94)00169-J"> Link <span class="sr-only" > to <em> A Brief History of Timed CSP  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Recursion Induction for Real&#x2212;Time Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            Vol. 5.
        
            No. 6.
        
                Pages 530&#x2212;553.
            1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2234-abstract.html">
			Details <span class="sr-only" > about <em> Recursion Induction for Real&#x2212;Time Processes  </em></span> </a> |
			<a href="/publications/publication2234.bib">
			BibTeX  <span class="sr-only" > data for <em> Recursion Induction for Real&#x2212;Time Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Positive Imagery&#x2212;Based Cognitive Bias Modification as a Web&#x2212;Based Treatment Tool for Depressed Adults </strong> </p>
	    <p class="publicationAuthors"> <em> Simon E Blackwell&#x201a; Michael Browning&#x201a; A. Mathews&#x201a; Arnaud Pictet&#x201a; James Welch&#x201a; Jim Davies&#x201a; Peter Watson&#x201a; John R. Geddes and Emily A. Holmes  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 3.
        
            No. 1.
        
                Pages 91&#x2212;111.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11990-abstract.html">
			Details <span class="sr-only" > about <em> Positive Imagery&#x2212;Based Cognitive Bias Modification as a Web&#x2212;Based Treatment Tool for Depressed Adults  </em></span> </a> |
			<a href="/publications/publication11990.bib">
			BibTeX  <span class="sr-only" > data for <em> Positive Imagery&#x2212;Based Cognitive Bias Modification as a Web&#x2212;Based Treatment Tool for Depressed Adults  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1177/2167702614560746">
		DOI (10.1177/2167702614560746)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Domain&#x2212;Specific Modelling for Clinical Research </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Adam Milward&#x201a; David Milward&#x201a; Seyyed Shah&#x201a; Monika Solanki and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            SPLASH Workshop on Domain&#x2212;Specific Modelling</em>.
        October,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10267-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span> </a> |
			<a href="/publications/publication10267.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2846696.2846701">
		DOI (10.1145/2846696.2846701)
		</a> 
					| <a href="http://www.dsmforum.org/events/dsm15/Papers/Davies.pdf"> Download (pdf)  <span class="sr-only" > of <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Compositionality and Refinement in Model&#x2212;Driven Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; David Milward and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In Rohit Gheyi and David A. Naumann, editors,
             
            <em>
            Formal Methods: Foundations and Applications &#x2212; 15th Brazilian Symposium&#x201a; SBMF 2012. Proceedings</em>.
        
            Vol. 7498
                of Lecture Notes in Computer Science.
        
                Pages 99&#x2212;114.
            Springer.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6296-abstract.html">
			Details <span class="sr-only" > about <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span> </a> |
			<a href="/publications/publication6296.bib">
			BibTeX  <span class="sr-only" > data for <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/4939/sbmf2012_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-33296-8_9">
		DOI (10.1007/978-3-642-33296-8_9)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Radu Calinescu&#x201a; Charles Crichton&#x201a; Steve Harris and Andrew Tsui  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Symposium on Foundations of Health Information Engineering and Systems</em>.
        
            Vol. 7151
                of LNCS.
        
                Pages 21&#x2212;38.
            Springer.
        August,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4600-abstract.html">
			Details <span class="sr-only" > about <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication4600.bib">
			BibTeX  <span class="sr-only" > data for <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-32355-3_2">
		DOI (10.1007/978-3-642-32355-3_2)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf"> Download (pdf)  <span class="sr-only" > of <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Guarded Workflow Language and Its Formal Semantics </strong> </p>
	    <p class="publicationAuthors"> <em> Chen&#x2212;Wei Wang&#x201a; Jim Davies and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 25&#x2212;34.
            Los Alamitos&#x201a; CA&#x201a; USA.
        2010.
        IEEE Computer Society.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3965-abstract.html">
			Details <span class="sr-only" > about <em> A Guarded Workflow Language and Its Formal Semantics  </em></span> </a> |
			<a href="/publications/publication3965.bib">
			BibTeX  <span class="sr-only" > data for <em> A Guarded Workflow Language and Its Formal Semantics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TASE.2010.21">
		DOI (10.1109/TASE.2010.21)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Data Migration </strong> </p>
	    <p class="publicationAuthors"> <em> Mohammed A. Aboulsamh&#x201a; Edward Crichton&#x201a; Jim Davies and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Advances in Conceptual Modeling &#x2212; Applications and Challenges&#x201a; ER 2010 Workshops ACM&#x2212;L&#x201a; CMLSA&#x201a; CMS&#x201a; DE@ER&#x201a; FP&#x2212;UML&#x201a; SeCoGIS&#x201a; WISM&#x201a; Vancouver&#x201a; BC&#x201a; Canada&#x201a; November 1&#x2212;4&#x201a; 2010.</em>.
        
            Vol. 6413
                of Lecture Notes in Computer Science.
        
                Pages 285&#x2013;294.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3964-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Data Migration  </em></span> </a> |
			<a href="/publications/publication3964.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Data Migration  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-16385-2_35">
		DOI (10.1007/978-3-642-16385-2_35)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Frameworks: Meanings in the Architecture </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Distributed Computing and Internet Technology</em>.
        
            Vol. 5966
                of LNCS.
        
                Pages 40&#x2212;54.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3798-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Frameworks: Meanings in the Architecture  </em></span> </a> |
			<a href="/publications/publication3798.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Frameworks: Meanings in the Architecture  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-11659-9_4">
		DOI (10.1007/978-3-642-11659-9_4)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Interoperability in Practice </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Steve Harris and Aadya Shukla  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            HICSS (Electronic Government Track)</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3422-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Interoperability in Practice  </em></span> </a> |
			<a href="/publications/publication3422.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Interoperability in Practice  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A metadata approach for clinical data management in translational genomics studies in breast cancer </strong> </p>
	    <p class="publicationAuthors"> <em> James D Brenton Irene Papatheodorou Charles Crichton Lorna Morris Peter Maccallum Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group Jim Davies and Carlos Caldas  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 2.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3367-abstract.html">
			Details <span class="sr-only" > about <em> A metadata approach for clinical data management in translational genomics studies in breast cancer  </em></span> </a> |
			<a href="/publications/publication3367.bib">
			BibTeX  <span class="sr-only" > data for <em> A metadata approach for clinical data management in translational genomics studies in breast cancer  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1186/1755-8794-2-66">
		DOI (10.1186/1755-8794-2-66)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Support for a Vaccine Study in Kathmandu </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Jane Metz&#x201a; Andrew J. Pollard and Matthew Snape  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        October,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3340-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span> </a> |
			<a href="/publications/publication3340.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf"> Download (pdf)  <span class="sr-only" > of <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantics&#x2212;Driven Development for Electronic Government Applications </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Aadya Shukla and Andrew Tsui  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            HICSS (Electronic Government Track)</em>.
        Hawaii.
        January,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2855-abstract.html">
			Details <span class="sr-only" > about <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span> </a> |
			<a href="/publications/publication2855.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/HICSS.2009.384">
		DOI (10.1109/HICSS.2009.384)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accelerating Cancer Research Using Semantics&#x2212;Driven Technology </strong> </p>
	    <p class="publicationAuthors"> <em> James Brenton&#x201a; Jim Davies&#x201a; Jeremy Gibbons and Steve Harris  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        Indianapolis&#x201a; IN.
        December,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2850-abstract.html">
			Details <span class="sr-only" > about <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span> </a> |
			<a href="/publications/publication2850.bib">
			BibTeX  <span class="sr-only" > data for <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf"> Download (pdf)  <span class="sr-only" > of <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Denise Warzel  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        Indianapolis&#x201a; IN.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2851-abstract.html">
			Details <span class="sr-only" > about <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span> </a> |
			<a href="/publications/publication2851.bib">
			BibTeX  <span class="sr-only" > data for <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf"> Download (pdf)  <span class="sr-only" > of <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Technologies in Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Steve Harris&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Andrew Tsui and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In Tomasz Janowski and Teresa Pardo, editors,
             
            <em>
            ICEGOV 2008</em>.
        
                Pages 45 &#x2013; 51.
            Cairo.
        December,
            2008.
        ACM Press.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2903-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Technologies in Electronic Government  </em></span> </a> |
			<a href="/publications/publication2903.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Technologies in Electronic Government  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1509096.1509108">
		DOI (10.1145/1509096.1509108)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantic Technologies in Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metadata Standards for Semantic Interoperability in Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Steve Harris&#x201a; Charles Crichton&#x201a; Aadya Shukla and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Theory and Practice of Electronic Governance</em>.
        Cairo.
        December,
            2008.
        </p> <p
            class="publicationNote"> Received a Best Paper Award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2853-abstract.html">
			Details <span class="sr-only" > about <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span> </a> |
			<a href="/publications/publication2853.bib">
			BibTeX  <span class="sr-only" > data for <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research </strong> </p>
	    <p class="publicationAuthors"> <em> Tianyi Zang&#x201a; Radu Calinescu&#x201a; Steve Harris&#x201a; Andrew Tsui&#x201a; Marta Kwiatkowska&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Peter Maccallum and Carlos Caldas  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            8th IEEE International Symposium on Cluster Computing (CCGrid)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1388-abstract.html">
			Details <span class="sr-only" > about <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span> </a> |
			<a href="/publications/publication1388.bib">
			BibTeX  <span class="sr-only" > data for <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/CCGRID.2008.57">
		DOI (10.1109/CCGRID.2008.57)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wsrfmodeling.pdf"> Download (pdf)  <span class="sr-only" > of <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Architecture for Cancer Research </strong> </p>
	    <p class="publicationAuthors"> <em> Radu Calinescu&#x201a; Steve Harris&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Igor Toujilov and Sylvia Nagl  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Software Engineering and Formal Methods</em>.
        
                Pages 59&#x2212;68.
            September,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1379-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span> </a> |
			<a href="/publications/publication1379.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/SEFM.2007.26">
		DOI (10.1109/SEFM.2007.26)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf"> Download (pdf)  <span class="sr-only" > of <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Technological foundations of electronic governance </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Tomasz Janowski&#x201a; Adegboyega K. Ojo and Aadya Shukla  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007</em>.
        
                Pages 5&#x2013;11.
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1024-abstract.html">
			Details <span class="sr-only" > about <em> Technological foundations of electronic governance  </em></span> </a> |
			<a href="/publications/publication1024.bib">
			BibTeX  <span class="sr-only" > data for <em> Technological foundations of electronic governance  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1328057.1328063">
		DOI (10.1145/1328057.1328063)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Frameworks for e&#x2212;Government </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Aadya Shukla  </em> </p>
	
	<p class="publicationDetails"> 
            In Theresa Pardo and Tomasz Janowski, editors,
             
            <em>
            First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007</em>.
        
                Pages 30&#x2013;39.
            ACM.
        December,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1025-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Frameworks for e&#x2212;Government  </em></span> </a> |
			<a href="/publications/publication1025.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Frameworks for e&#x2212;Government  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1328057.1328066">
		DOI (10.1145/1328057.1328066)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantic Frameworks for e&#x2212;Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            From Predicates to Programs: The Semantics of a Method Language </strong> </p>
	    <p class="publicationAuthors"> <em> David Faitelson&#x201a; James Welch and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SBMF 2005</em>.
        
            Vol. 184.
        
                Pages 171&#x2013;187.
            Electronic Notes in Theoretical Computer Science.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2241-abstract.html">
			Details <span class="sr-only" > about <em> From Predicates to Programs: The Semantics of a Method Language  </em></span> </a> |
			<a href="/publications/publication2241.bib">
			BibTeX  <span class="sr-only" > data for <em> From Predicates to Programs: The Semantics of a Method Language  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2007.03.021">
		DOI (10.1016/j.entcs.2007.03.021)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Replication Strategies for Reliable Decentralised Storage </strong> </p>
	    <p class="publicationAuthors"> <em> Matthew Leslie&#x201a; Jim Davies and Todd Huffman  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ARES</em>.
        
                Pages 740&#x2212;747.
            IEEE Computer Society.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2242-abstract.html">
			Details <span class="sr-only" > about <em> Replication Strategies for Reliable Decentralised Storage  </em></span> </a> |
			<a href="/publications/publication2242.bib">
			BibTeX  <span class="sr-only" > data for <em> Replication Strategies for Reliable Decentralised Storage  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/ARES.2006.108">
		DOI (10.1109/ARES.2006.108)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Generation of Object Databases using Booster </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; James Welch&#x201a; Alessandra Cavarra and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)</em>.
        IEEE Computer Society.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2240-abstract.html">
			Details <span class="sr-only" > about <em> On the Generation of Object Databases using Booster  </em></span> </a> |
			<a href="/publications/publication2240.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Generation of Object Databases using Booster  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/ICECCS.2006.1690374">
		DOI (10.1109/ICECCS.2006.1690374)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Domain&#x2212;Specific Semantics and Data Refinement of Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Faitelson and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Brazilian Symposium on Formal Methods (SBMF)</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2230-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;Specific Semantics and Data Refinement of Object Models  </em></span> </a> |
			<a href="/publications/publication2230.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;Specific Semantics and Data Refinement of Object Models  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Automatic Maintenance of Association Invariants </strong> </p>
	    <p class="publicationAuthors"> <em> James Welch&#x201a; David Faitelson and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Software Engineering and Formal Methods (SEFM) 2005</em>.
        IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2248-abstract.html">
			Details <span class="sr-only" > about <em> Automatic Maintenance of Association Invariants  </em></span> </a> |
			<a href="/publications/publication2248.bib">
			BibTeX  <span class="sr-only" > data for <em> Automatic Maintenance of Association Invariants  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            CancerGrid: Developing Open Standards for Clinical Cancer Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> James Brenton&#x201a; Carlos Caldas&#x201a; Jim Davies&#x201a; Steve Harris and Peter Maccallum  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2220-abstract.html">
			Details <span class="sr-only" > about <em> CancerGrid: Developing Open Standards for Clinical Cancer Informatics  </em></span> </a> |
			<a href="/publications/publication2220.bib">
			BibTeX  <span class="sr-only" > data for <em> CancerGrid: Developing Open Standards for Clinical Cancer Informatics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Teaching Formal Methods in Context </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Andrew Simpson and Andrew Martin  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 185&#x2212;202.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2238-abstract.html">
			Details <span class="sr-only" > about <em> Teaching Formal Methods in Context  </em></span> </a> |
			<a href="/publications/publication2238.bib">
			BibTeX  <span class="sr-only" > data for <em> Teaching Formal Methods in Context  </em></span>   </a>
			
			
					| <a href="http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3294{\&}spage=185"> Link <span class="sr-only" > to <em> Teaching Formal Methods in Context  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson&#x201a; Andrew Martin&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 628&#x2212;633.
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2245-abstract.html">
			Details <span class="sr-only" > about <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span> </a> |
			<a href="/publications/publication2245.bib">
			BibTeX  <span class="sr-only" > data for <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span>   </a>
			
			
					| <a href="http://computer.org/proceedings/icse/1877/18770628abs.htm"> Link <span class="sr-only" > to <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Method for the Automatic Generation of Test Suites from Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Charles Crichton and Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)&#x201a; March 9&#x2212;12&#x201a; 2003&#x201a; Melbourne&#x201a; FL&#x201a; USA</em>.
        
                Pages 1104&#x2212;1109.
            ACM.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2228-abstract.html">
			Details <span class="sr-only" > about <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span> </a> |
			<a href="/publications/publication2228.bib">
			BibTeX  <span class="sr-only" > data for <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/952532.952748">
		DOI (10.1145/952532.952748)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using State Diagrams to Describe Concurrent Behaviour </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In Jin Song Dong and Jim Woodcock, editors,
             
            <em>
            5th International Conference on Formal Engineering Methods&#x201a; ICFEM 2003</em>.
        
            Vol. 2885/2003.
        
                Pages 105&#x2212;124.
            Springer Berlin / Heidelberg.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2225-abstract.html">
			Details <span class="sr-only" > about <em> Using State Diagrams to Describe Concurrent Behaviour  </em></span> </a> |
			<a href="/publications/publication2225.bib">
			BibTeX  <span class="sr-only" > data for <em> Using State Diagrams to Describe Concurrent Behaviour  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/b94115">
		DOI (10.1007/b94115)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Refinement in Object&#x2212;Z and CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 225&#x2212;244.
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2215-abstract.html">
			Details <span class="sr-only" > about <em> Refinement in Object&#x2212;Z and CSP  </em></span> </a> |
			<a href="/publications/publication2215.bib">
			BibTeX  <span class="sr-only" > data for <em> Refinement in Object&#x2212;Z and CSP  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/2335/23350225.htm"> Link <span class="sr-only" > to <em> Refinement in Object&#x2212;Z and CSP  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Activity Graphs and Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 77&#x2212;96.
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2218-abstract.html">
			Details <span class="sr-only" > about <em> Activity Graphs and Processes  </em></span> </a> |
			<a href="/publications/publication2218.bib">
			BibTeX  <span class="sr-only" > data for <em> Activity Graphs and Processes  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/1945/19450077.htm"> Link <span class="sr-only" > to <em> Activity Graphs and Processes  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using Relational and Behavioural Semantics in the Verification of Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 163&#x2212;182.
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2217-abstract.html">
			Details <span class="sr-only" > about <em> Using Relational and Behavioural Semantics in the Verification of Object Models  </em></span> </a> |
			<a href="/publications/publication2217.bib">
			BibTeX  <span class="sr-only" > data for <em> Using Relational and Behavioural Semantics in the Verification of Object Models  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            When to Trust Mobile Objects: Access Control in the Jini Software System </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies and Jim Woodcock  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of TOOLS</em>.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2222-abstract.html">
			Details <span class="sr-only" > about <em> When to Trust Mobile Objects: Access Control in the Jini Software System  </em></span> </a> |
			<a href="/publications/publication2222.bib">
			BibTeX  <span class="sr-only" > data for <em> When to Trust Mobile Objects: Access Control in the Jini Software System  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TOOLS.1999.787541">
		DOI (10.1109/TOOLS.1999.787541)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Refinement and Simulation of Data Types and Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Christie Bolton&#x201a; Jim Davies and Jim Woodcock  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 273&#x2212;292.
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2219-abstract.html">
			Details <span class="sr-only" > about <em> On the Refinement and Simulation of Data Types and Processes  </em></span> </a> |
			<a href="/publications/publication2219.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Refinement and Simulation of Data Types and Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Safety through Security </strong> </p>
	    <p class="publicationAuthors"> <em> A. Simpson&#x201a; J. Woodcock and J. Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Ninth International Workshop on Software Specification and Design</em>.
        IEEE Press.
        1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2246-abstract.html">
			Details <span class="sr-only" > about <em> Safety through Security  </em></span> </a> |
			<a href="/publications/publication2246.bib">
			BibTeX  <span class="sr-only" > data for <em> Safety through Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Mechanical Verification of Solid State Interlocking Geographic Data </strong> </p>
	    <p class="publicationAuthors"> <em> A. Simpson&#x201a; J. Woodcock and J. Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Formal Methods Pacific</em>.
        Springer.
        1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2247-abstract.html">
			Details <span class="sr-only" > about <em> The Mechanical Verification of Solid State Interlocking Geographic Data  </em></span> </a> |
			<a href="/publications/publication2247.bib">
			BibTeX  <span class="sr-only" > data for <em> The Mechanical Verification of Solid State Interlocking Geographic Data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Real&#x2212;time LOTOS and Timed Observations </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Bryans and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 383&#x2212;397.
            1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2224-abstract.html">
			Details <span class="sr-only" > about <em> Real&#x2212;time LOTOS and Timed Observations  </em></span> </a> |
			<a href="/publications/publication2224.bib">
			BibTeX  <span class="sr-only" > data for <em> Real&#x2212;time LOTOS and Timed Observations  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a denotational semantics for ET&#x2212;LOTOS </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Bryans&#x201a; Jim Davies and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 269&#x2212;283.
            1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2221-abstract.html">
			Details <span class="sr-only" > about <em> Towards a denotational semantics for ET&#x2212;LOTOS  </em></span> </a> |
			<a href="/publications/publication2221.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a denotational semantics for ET&#x2212;LOTOS  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the formal specification and verification of network routing algorithms </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Matt Wallis  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 100&#x2212;115.
            1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2239-abstract.html">
			Details <span class="sr-only" > about <em> On the formal specification and verification of network routing algorithms  </em></span> </a> |
			<a href="/publications/publication2239.bib">
			BibTeX  <span class="sr-only" > data for <em> On the formal specification and verification of network routing algorithms  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using CSP to Verify a Timed Protocol over a Fair Medium </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 355&#x2212;369.
            1992.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2235-abstract.html">
			Details <span class="sr-only" > about <em> Using CSP to Verify a Timed Protocol over a Fair Medium  </em></span> </a> |
			<a href="/publications/publication2235.bib">
			BibTeX  <span class="sr-only" > data for <em> Using CSP to Verify a Timed Protocol over a Fair Medium  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[41] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Broadcast Communication for Real&#x2212;time Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Dave Jackson and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 149&#x2212;169.
            1992.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2231-abstract.html">
			Details <span class="sr-only" > about <em> Broadcast Communication for Real&#x2212;time Processes  </em></span> </a> |
			<a href="/publications/publication2231.bib">
			BibTeX  <span class="sr-only" > data for <em> Broadcast Communication for Real&#x2212;time Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[42] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Timed CSP: Theory and Practice </strong> </p>
	    <p class="publicationAuthors"> <em> Steve Schneider&#x201a; Jim Davies&#x201a; D. M. Jackson&#x201a; George M. Reed&#x201a; Joy N. Reed and A. W. Roscoe  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 640&#x2212;675.
            1991.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2244-abstract.html">
			Details <span class="sr-only" > about <em> Timed CSP: Theory and Practice  </em></span> </a> |
			<a href="/publications/publication2244.bib">
			BibTeX  <span class="sr-only" > data for <em> Timed CSP: Theory and Practice  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[43] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Factorizing Proofs in Timed CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Steve Schneider  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 129&#x2212;159.
            1989.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2237-abstract.html">
			Details <span class="sr-only" > about <em> Factorizing Proofs in Timed CSP  </em></span> </a> |
			<a href="/publications/publication2237.bib">
			BibTeX  <span class="sr-only" > data for <em> Factorizing Proofs in Timed CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[44] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Factorising Proofs in Timed CSP </strong> </p>
	    <p class="publicationAuthors"> <em> J. Davies and S. Schneider  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Real&#x2212;Time Systems: Theory and Practice</em>.
        North&#x2212;Holland.
        1989.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2236-abstract.html">
			Details <span class="sr-only" > about <em> Factorising Proofs in Timed CSP  </em></span> </a> |
			<a href="/publications/publication2236.bib">
			BibTeX  <span class="sr-only" > data for <em> Factorising Proofs in Timed CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Machine Learning and Software Engineering in Health Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> David A. Clifton&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Lionel Tarassenko  </em> </p>
	
	<p class="publicationDetails"> May,
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5931-abstract.html">
			Details <span class="sr-only" > about <em> Machine Learning and Software Engineering in Health Informatics  </em></span> </a> |
			<a href="/publications/publication5931.bib">
			BibTeX  <span class="sr-only" > data for <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/RAISE.2012.6227968">
		DOI (10.1109/RAISE.2012.6227968)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deep Zoom and Touch Screen for Tissue Microarray Image Scoring </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Andrew Tsui&#x201a; James Brenton&#x201a; Carlos Caldas and Lorna Morris  </em> </p>
	
	<p class="publicationDetails"> Poster at Microsoft External Research Symposium.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3552-abstract.html">
			Details <span class="sr-only" > about <em> Deep Zoom and Touch Screen for Tissue Microarray Image Scoring  </em></span> </a> |
			<a href="/publications/publication3552.bib">
			BibTeX  <span class="sr-only" > data for <em> Deep Zoom and Touch Screen for Tissue Microarray Image Scoring  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]