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

Article

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (Full text available)
[img]
Preview
[img]
Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards & Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (Full text available)
[img]
Preview
[img]
Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (Full text available)
[img]
Preview
[img]
Preview

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (The full text of this publication is not available from this repository)

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (Full text available)
[img]
Preview
[img]
Preview

Monograph

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Steen, M. (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Neal, S. and Cole, J. and Linington, P.F. and Milosevic, Z. and Gibson, S. and Kulkarni, S. (2003) Identifying requirements for Business Contract language: A monitoring perspective. In: Proceedings of the seventh International Enterprise Distributed Object Computng Conference, SEP 16-19, 2003, Brisbane, Australia. (The full text of this publication is not available from this repository)

Steen, M. and Derrick, J. and Boiten, E.A. and Bowman, H. (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)
[img]
Preview
[img]
Preview

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.A. and Derrick, J. and Bowman, H. and Steen, M. (1997) Coupling schemas: data refinement and view(point) composition. In: Northern formal methods, 1997; Jul, Ilkley. (The full text of this publication is not available from this repository)

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. (The full text of this publication is not available from this repository)

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Weak refinement in Z. In: Bowen, J.P. and Hinchey, M.G. and Till, D., eds. ZUM '97: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0. (Full text available)
[img] [img]

Derrick, J. and Bowman, H. and Boiten, E.A. and Steen, M. (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED. (Full text available)
[img]
Preview
[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

Derrick, J. and Bowman, H. and Steen, M. (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, J. and Bowman, H. and Steen, M. (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, H. and Derrick, J. and Steen, M. (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sun Apr 20 14:31:33 2014 BST.