Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Book section | Conference or workshop item

Number of items: 4.

Book section

Meira, SRL and Cavalcanti, A.L.C. and Santos, CS (1994) The Unix Filing System: A MooZ Specification. In: Lano, K. and Haughton, H., eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. The full text of this publication is not available from this repository.

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.

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.

Preview

Preview

This list was generated on Sun May 19 10:54:16 2013 BST.