Browsing Computer Science by Author "Tyrrell, Malcolm"
Now showing items 1-1 of 1
-
Towards a formal method for distributed object-oriented systems
Tyrrell, Malcolm (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2004)We present two components of a special purpose formal method intended to support the modelling and development of distributed object-oriented systems. The first component is a language, called Oompa, in which designs for ...