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

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. The full text of this publication is not available from this repository.

Steen, M.W.A. and Derrick, J. (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489.

Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.W.A. (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286 . The full text of this publication is not available from this repository.

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. The full text of this publication is not available from this repository.

Monograph

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ

Preview

Preview

Steen, M.W.A. and Derrick, J. (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury

Preview

Preview

Conference or workshop item

Steen, M.W.A. and Akehurst, D.H. and ter Doest, H.W.L. and Lankhorst, M.M. (2004) Supporting Viewpoint-Oriented Enterprise Architecture. In: Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Sep 20-24, 2004, Monterey, CA, . The full text of this publication is not available from this repository.

Steen, M.W.A. and Derrick, J. (1999) Formalising ODP Enterprise Policies. In: 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Sep 27-30, 1999, Mannheim, Germany.

Preview

Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, T. and Shiratori, N. and Higashino, T. and Togashi, A., eds. IFIP Conference Proceedings; Vol. 107. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 .

Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. (1995) Composition of LOTOS specifications. In: UNSPECIFIED. The full text of this publication is not available from this repository.

This list was generated on Fri May 24 01:15:04 2013 BST.