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)
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)