Graeme Smith's research while affiliated with The University of Queensland and other places
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (5)
s and compressed postscript files are available from http://svrc.it.uq.edu.au Stepwise Development from Ideal Specifications Graeme Smith Abstract The stepwise development of a program using refinement requires that the original abstract specification is realisable, i.e., an implementation exists with identical functionality. In some situations, th...
The timed renemen t calculus is a predicate-transformer- based formalism for the specication and renemen t of real-time, reac- tive systems. Although it has been successfully applied to a number of case studies, its scalability and ability to eectiv ely model concurrent and distributed real-time systems is inhibited by its lack of a suitable parall...
Commercial-Off-The-Shelf (COTS) software is increasingly being suggested for use in systems development, for reasons including cost, functionality, useability, testedness, availability of support and upgrades. At the same time, standards for use of software in safetyrelated systems are becoming increasingly stringent. This paper examines the issue...
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specified. In this paper, we provide a fixed point interpretation of such definitions. In addition, we provide simple guidelines for producing non-recursive schema definitions...
System requirements frequently change while the system is still under development. Usually this means going back and revising the requirements specification and redoing those development steps already completed. In this article we show how formal requirements can be allowed to evolve while system development is in progress, without the need for cos...
Citations
... Hence, some means of incrementally introducing such details of the physical implementation is required. This issue is tackled for Timed Interval Calculus (TIC) specifications in [14,16]. The approach is to interleave so-called realisation steps with refinement steps. ...
Reference: Refactoring Real-time Specifications
... Boehm [20] argues that rapid changes associated with COTS releases and internet and web-based systems makes it impossible to produce "air-tight" requirements, while [21] suggests that combining COTS and internet connectivity generates the potential for adverse impacts on the security of the system. In addition, both Lindsay & Smith [22] and McDermid [23] point out that COTS components are usually designed for other, more generic purposes and are unlikely to have been subjected to the level of verification and validation required for safety critical systems. This affects a large class of applications given that an increasing number of today's applications may be classified as critical. ...
... Self-referential associations can also be formalised nicely in this approach by using OZ's recursive definitions [27] (see definition of ThingB ). ...
... Evolution, like retrenchment, is a weakening of refinement. This too is true of Smith's approach which he calls realisation [16,17]. In [16] Smith voices concerns similar to our own. ...
