Skip to main content
Kent Academic Repository

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

Article

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Steen, Maarten and Derrick, John (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(00)00031-3) (Full text available)
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(99)00006-4) (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(99)00010-0) (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:https://doi.org/10.1007/s001650050007) (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:https://doi.org/10.1016/0920-5489(95)00021-L) (Full text available)
[img]
Preview
[img]
Preview

Monograph

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (Full text available)
[img]
Preview
[img]
Preview

Steen, Maarten and Derrick, John (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (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, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (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, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (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

Steen, Maarten and Akehurst, David 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). IEEE Computer Society Press., Monterey, California pp. 201-211. ISBN 0-7695-2214-9. (doi:https://doi.org/10.1109/EDOC.2004.24) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Neal, Stephen and Cole, James and Linington, Peter F. and Milosevic, Zoran and Gibson, Simon and Kulkarni, Sachin (2003) Identifying requirements for Business Contract language: A monitoring perspective. In: Steen, Maarten and Bryant, B.R., eds. Proceedings of the seventh International Enterprise Distributed Object Computng Conference. IEEE Computer Society, Brisbane, Australia pp. 50-61. ISBN 0-7695-1994-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Steen, Maarten and Derrick, John (1999) Formalising ODP Enterprise Policies. In: 3rd International Enterprise Distributed Object Computing Conference (EDOC '99). IEEE Publishing pp. 84-93. ISBN 0-7803-5784-1. (doi:https://doi.org/10.1109/EDOC.1999.792052) (Full text available)
[img]
Preview
[img]
Preview

Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology (AMAST '98). http://dx.doi.org/10.1007/3-540-49253-4_19, 1548. Springer-Verlag Berlin pp. 248-262. ISBN 3-540-65462-3. (doi:https://doi.org/10.1007/3-540-49253-4_19) (Full text available)
[img]
Preview
[img]
Preview

Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke Albert (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. Lecture Notes in Computer Science. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science, 1313. Springer-Verlag Berlin pp. 644-664. ISBN 3-540-63533-5. (doi:https://doi.org/10.1007/3-540-63533-5_34) (Full text available)
[img] [img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing, 2. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. (doi:https://doi.org/10.1007/BFb0027298) (Full text available)
[img] [img]

Derrick, John and Bowman, Howard and Boiten, Eerke Albert and Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. Chapman & Hall, Kaiserslautern, Germany pp. 501-516. ISBN 0-412-79490-X. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM pp. 162-166. ISBN 0-89791-867-3. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, Paris pp. 399-406. ISBN 0-412-79770-4. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall pp. 189-204. ISBN 0-412-79770-4. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. Stichting Mathematisch Centrum, Amsterdam pp. 73-85. ISBN 90-6196-460-1. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

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

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

Steen, Maarten and Bowman, Howard and Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thesis

Steen, Maarten (1998) Consistency and Composition of Process Specifications. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Mon May 27 16:15:29 2019 BST.