Department of Computer Science

Site logo

Jane Sinclair

[c]


CONTACT   

Computer Science
Room CS334
University of Warwick
Coventry
CV4 7AL 		Tel: 024 7652 3193
Fax: 024 7657 3024
Email: J.E.Sinclair@warwick.ac.uk

 

RESEARCH GROUPS


  • Formal Methods

CURRENT RESEARCH PROJECTS


  • Ingres PhD Studentship Agreement - Adrian Hudnott, Ingres Europe Limited, Project Start Date: 01/10/2007 Project End Date: 30/09/2010

SELECTED PUBLICATIONS


  • Sinclair J E, Reed J N, Roscoe A W , (2007) 'Responsiveness and Stable Revivals ' Formal Aspects Of Computing (0934-5043)
  • J E Sinclair (2005) 'Action Systems: A Method Combining State-Based and Event-Based Specification' in Software Specification Methods, Frappier and Hebrias (eds), 81 - 95, London: Springer (FACIT)
  • Reed J N, J E Sinclair, A W Roscoe, (2004) 'Responsiveness of Interoperating Components' Formal Aspects Of Computing 16 394 - 411 (0934-5043)
  • Reed J N, Sinclair J E, (2001) 'Combining Independent Specifications' in Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Volume 2029 / 2001, Editors: H. Hussmann (0302-9743), Heidelberg: Springer Berlin
  • J Reed, J Sinclair, (2001) 'Refinement - Preserving Plug-in components' Electronic Notes In Theoretical Computer Science 40 (1571-0661)
Update My Profile on the Warwick eRA Portal My Profile last updated: 22/01/2010

Page contact: Jane Sinclair Last revised: Sat 10 Mar 2007
Back to top of page
 

Web site search

People search

News

News.