Number of items: 4.
|
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]](https://kar.kent.ac.uk/21445/1.hassmallThumbnailVersion/Component_Composition_in_Business_and_System_Modelling.pdf)  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)
|
|
|
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)
|
|
This list was generated on Thu May 16 22:32:37 2019 BST.
