Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

Article

Boiten, E.A. and Derrick, J. and Smith, G. (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. and Smith, G. (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. (The full text of this publication is not available from this repository)

Rowan-Robinson, M. and Babbedge, T. and Surace, J. and Shupe, D. and Fang, F. and Lonsdale, C. and Smith, G. and Polletta, M. and Siana, B. and Gonzalez-Solares, E. and Xu, K. and Owen, F. and Davoodi, P. and Dole, H. and Domingue, D. and Efstathiou, A. and Farrah, D. and Fox, M. and Franceschini, A. and Frayer, D. and Hatziminaoglou, E. and Masci, F. and Morrison, G. and Nandra, K. and Oliver, S. and Onyett, N. and Padgett, D. and Perez-Fournon, I. and Serjeant, S. and Stacey, G. and Vaccari, M. (2005) Spectral energy distributions and luminosities of galaxies and active galactic nuclei in the Spitzer Wide-Area Infrared Extragalactic (SWIRE) legacy Survey. Astronomical Journal, 129 (3). pp. 1183-1197. ISSN 0004-6256. (The full text of this publication is not available from this repository)

Derrick, J. and Smith, G. (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (The full text of this publication is not available from this repository)

Carey, D.P. and Smith, G. and Smith, D.T. and Shepherd, J.W. and Skriver, J. and Ord, L. and Rutland, A. (2001) Footedness in world soccer: An analysis of France '98. Journal of Sports Sciences, 19 (11). pp. 855-864. ISSN 0264-0414 . (The full text of this publication is not available from this repository)

Smith, G. and Derrick, J. (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in Systems Design, 18 (3). pp. 249-284. ISSN 0925-9856 . (The full text of this publication is not available from this repository)

Monograph

Boiten, E.A. and Derrick, J. and Smith, G. (2007) Refine 2007 Participants' Proceedings. Technical report. University of Kent, Canterbury, Canterbury, Kent (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. and Smith, G. (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain (The full text of this publication is not available from this repository)

Conference or workshop item

Derrick, J. and Smith, G. (2004) Linear temporal logic and Z refinement. In: Rattray, C. and Maharaj, S. and Shankland, C., eds. Linear temporal logic and Z refinement. Lecture Notes in Computer Science, 3116. Springer pp. 117-131. ISBN 3-540-22381-9 . (The full text of this publication is not available from this repository)

UNSPECIFIED (2004) Integrated Formal Methods, 4th International Conference. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Lecture Notes in Computer Science, 2999. Springer-Verlag ISBN 3-540-21377-5. (The full text of this publication is not available from this repository)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Springer pp. 421-440. ISBN 3-540-21377-5. (The full text of this publication is not available from this repository)

Smith, G. and Derrick, J. (2002) Abstract Specification in Object-Z and CSP. In: George, C. and Miao, H., eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002 Shanghai, China, October 21-25, 2002. Lecture Notes in Computer Science, 2495. Springer, Berlin pp. 108-119. ISBN 3-540-00029-1. (The full text of this publication is not available from this repository)

Jackson, T. and Hirst, A. and Wong, V. and Smith, G. and Saker, J. (2001) The Manufacturer-Retailer Interface in the New Product Commercialisation Process. In: A Marketing Odyssey - Academy of Marketing 2001 Proceedings, 2nd-4th July 2001, Cardiff University, UK. (The full text of this publication is not available from this repository)

Derrick, J. and Smith, G. (2000) Structural refinement in Object-Z / CSP. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Proceedings of the Second International Conference on Integrated Formal Methods. Lecture Notes in Computer Science, 1945. Springer pp. 194-213. ISBN 3-540-41196-8 . (Full text available)
[img]
Preview
[img]
Preview

Smith, G. and Derrick, J. (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, M. and Liu, S., eds. ICFEM. IEEE Computer Society, Hiroshima, Japan pp. 293-302. ISBN 0-8186-8002-4 . (Full text available)
[img]
Preview

Edited book

Boiten, E.A. and Derrick, J. and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science , 201 . Elsevier, 264 pp. (The full text of this publication is not available from this repository)

This list was generated on Sun Apr 20 20:01:06 2014 BST.