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
Jump to: Conference or workshop item
Number of items: 3.

Conference or workshop item

Kent, S. and Lano, K. and Bicarregui, J. and Hamie, A. and Howse, J. (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics.
[img]
Preview

Lano, K. and Goldsack, S. and Bicarregui, J. and Kent, S. (1997) Integrating VDM++ and Real-time System Design. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. Lecture Notes In Computer Science, 1212. LNCS, Springer-Verlag pp. 188-219. ISBN 3-540-62717-0. The full text of this publication is not available from this repository.

Lano, K. and Bicarregui, J. and Kent, S. (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming.
[img]
Preview
[img]
Preview

This list was generated on Sun May 19 17:36:08 2013 BST.
University of Kent | About this repository | Feedback | Latest additions