Roger Duke

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)
W h e n modelling a large and complex system, clar-zty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captured by the values of their at-trzbutes. Frequently however, there are dependenczes between the attributes of a n object. An appropriate andication of whzch attributes are(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)