Browsing Computer Science (PhD Theses) by Sponsor "Enterprise Ireland"
Now showing items 1-1 of 1
-
Towards a formal method for distributed object-oriented systems
(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 ...