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

Preview

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.

Preview

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

Preview

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.

Preview

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

Preview

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

Preview

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

Preview

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.

Preview

Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED.

Preview

+1 more...

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.