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

Book section

Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, CĂ„ssio Souza (1994) The Unix Filing System: A MooZ Specification. In: Lano, Kevin and Haughton, Howard, eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. (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)

Conference or workshop item

Kent, Stuart and Lano, Kevin and Bicarregui, Juan and Hamie, Ali and Howse, John (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. Technical Report TUM-I9737. University of Munich (Full text available)
[img]
Preview

Lano, Kevin and Goldsack, Stephen J. and Bicarregui, Juan and Kent, Stuart (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Lano, Kevin and Bicarregui, Juan and Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. Linz, Austria (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Thu May 16 22:32:37 2019 BST.