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

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

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

[img]

Preview

[img]

Preview

Boiten, E. (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury

[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.

[img]

[img]

Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED.

[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.

[img]

Preview

[img]

Preview

Derrick, J. and Boiten, E. and Bowman, H. and Steen, M. (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED.

[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.

[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.

[img]

Preview

[img]

Preview

This list was generated on Sun May 26 00:11:26 2013 BST.

University of Kent | About this repository | Feedback | Latest additions