Learn More
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of(More)
Preface This report presents Version 1 of Object-Z, an extension to the speciication language Z, which facilitates the speciication of systems in an object-oriented style. The report includes a concrete syntax and four case studies. Some aspects pertinent to object-oriented speciication are not in this version of Object-Z but are being investigated for(More)
In object-oriented systems, it is often the case that an object will have an attribute whose value identiies (points or refers to) some other object in the system so that the identiied object can be sent messages. The association between objects determined by the object references in a system will generally result in a complex structure whose design and(More)
The Z speciication language can be used to capture liveness properties of state transition systems such as those used to specify communications protocols. The speciication of such systems involve temporal concepts such as \eventually" and \always". In this paper we extend standard Z to include the temporal logic operators so as to provide a powerful(More)
Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on(More)
Note: Most SVRC technical reports are available via anonymous ftp, from ftp.cs.uq.edu.au in the directory /pub/SVRC/techreports. Abstract The central problem associated with libraries of reusable software components such as classes is that of retrieval: how to nd in the library those classes that can be used in the construction of a particular application.(More)
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of(More)
Over the years there has been an ongoing debate about which computer language to adopt for a first programming subject. Although some may not agree, the current consensus is that the object-oriented languages are winning the argument, and Java has increasingly become the language of choice for teaching beginners. But choosing the language is only the first(More)