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: 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. (Full text available)
[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. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Mon Apr 21 05:47:18 2014 BST.