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: 10.

Article

Boiten, E.A. and Derrick, J. (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science , 137 (2). pp. 1-242. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Derrick, J. and Boiten, E. (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (The full text of this publication is not available from this repository)

Monograph

Taylor, C. and Boiten, E. and Derrick, J. (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Boiten, E. (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED. (Full text available)
[img] [img]
Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, J. and Boiten, E. and Bowman, H. and Steen, M. (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, H. and Boiten, E. and Derrick, J. and Steen, M. (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1995) Unification and multiple views of data in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sat Apr 19 13:15:38 2014 BST.