Elizabeth V. C. Fielding's scientific contributions

Publications (19)

Article
Full-text available
Implicit regeneration is a fundamental concept of the Graphical Kernel System (GKS), an IS0 International Standard, but it is difficult to understand as presented in the English language specification of GKS. Consequently, it is a good example to use in determining whether formal specification techniques can be used effectively to describe and clar...
Conference Paper
The literature contains a number of papers which look at the application of formal specification techniques to the specification of computer graphics systems [3,5,6,7,8,10,14]. A landmark in computer graphics was reached on 15 August 1985, with the publication of the Graphical Kernel System (GKS) as the first ISO standard for computer graphics prog...
Article
The Graphical Kernel System (GKS) is now an ISO international standard for computer graphics programming. GKS is currently described in an informal way; this paper presents some early results from a project which is looking at the applicability of formal techniques to the problem of specifying GKS. A specification of a simplified model of GKS is pr...
Chapter
The Working Group membership was as follows: Austin Tate (Chairman) David Barnes Steve Cook Martin Cooper Arthur Foster Brad Myers William Newman Ken Robinson Warren Teitelman Harold Thimbleby (Warren Teitelman joined the Architecture Working Group after the first two sessions.) The main goal of all the Working Groups was a better understanding of...
Chapter
The Working Group’s discussion concentrated upon the following issues: (1) nomenclature for the objects displayed and manipulated; (2) levels of interface: especially the functionality of the client-server interface; (3) the input model; (4) responsibility for redrawing of portions of windows following damage or size changes; (5) hardware and opera...
Chapter
The Working Group categorized the influences on user interface design and styles of interaction; these categories are shown in Figure 18.1.
Chapter
The Working Group membership was: Peter Bono (Chairman) John Butler Gordon Dougan Paul ten Hagen Bob Hopgood Colin Prosser David Rosenthal The Working Group decided not to tackle the issues it had been given directly but first attempted to produce one or more models that captured the main points of concern at the application interface. The Architec...
Chapter
A window is a region on a display surface whose size, position, and display priority relative to other windows may be changed at will by the operator. Different windows may vary in their appearance: presence of title bars, border style, kind of scroll bars, etc.
Chapter
The membership of the Architecture Working Group was as follows: George Coulouris (Chairman) James Gosling Alistair Kilgour David Small Dominic Sweetman Tony Williams Neil Wiseman The group worked loosely from the issues list assigned to them. The issues were used to delimit the topics for discussion, though within those topics the issues were not...
Chapter
The Task Group membership was: Colin Prosser Dominic Sweetman Warren Teitelman This Task Group arose mainly from the Architecture Working Group discussion and the joint session with the Application Program Interface Working Group. We thought it was a good idea to look below windows to see if there are more fundamental objects. We attempted to chara...
Chapter
This group was formed during the final plenary session on the second day of the Workshop and was charged with producing a set of conclusions about the application program interface. The group met for one two-hour session on the morning of the third day and then reported its findings to a plenary session. Membership of the Task Group was: James Gosl...
Book
This volume is a record of the Workshop on Window Management held at the Ruth­ erford Appleton Laboratory's Cosener's House between 29 April and 1 May 1985. The main impetus for the Workshop came from the Alvey Programme's Man­ Machine Interface Director who was concerned at the lack of a formal definition of window management and the lack of focus...
Chapter
This section summarizes the results achieved at the Final Session where the Working Group Reports were submitted. Each Group made comments about possible areas for future work and these were discussed and relative priorities established.
Article
Full-text available
This paper examines the application of one particular technique for formal specification, the Vienna Development Method, to a small part of GKS, the description of implicit regeneration. From the specification, properties of implicit regeneration are formulated and proved, showing that the behaviour conforms to that expected intuitively.

Citations

... TheFigure 3 shows a partial view of the interoperability reference taxonomy proposed in CARIONER project. It takes into account different levels and nature of interoperability problems such as proposed in interoperability reference models defined by the research and industrial communities [12, 13, 14, 15, 16].Figure 4 shows a very simple example of composite requirement described by using each of the three provided modeling languages. ...
... It should be noted that this theory of presentations di ers from existing work that uses formal methods to describe the structure and behaviour of graphics systems. Both 7] and 36] for instance employ Z to describe the behaviour of interface management systems, while a series of papers 15,3,14] demonstrate the utility of formal methods in de ning graphics standards. However, in all of these cases the presentation or graphics system is itself the application domain. ...
... Finally, they are a sound abstract reference for subsequent software development and maintenance phases. They have been used in computer graphics for defining languages [20,21,48], abstract geometric data structures [37,51,54] or 2D and 3D models [2,24,26]. But the improvement in their use is rather slow, compared with the fast development of more pragmatic practices, such as object oriented techniques. ...
... However, we believe that even in such an incomplete form the specification fragment does provide a solid mathematical framework for building high level representative view of the system which can be useful for understanding internal data structures and computing processes. We use a limited subset of VDM notation which is close to the one used in[28]for specifying GKS. This subset has a traditional though somewhat simplified and mnemonically informative notation. ...