No description available.

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Formal methods are increasingly accepted for developing software systems, however their application to user-interface development is less common. In this thesis, we demonstrate the utility of formal object-oriented techniques for specifying, designing and implementing user-interfaces. The specification of a user-interface describes user-perceivable operations and information structures for an interactive system in an implementation-independent way. Operations of a user-interface specification define tasks. User-interfaces can be specified by a system of communicating agents where some agents are presented to users. An agent and its presentation together define an interactor. Defining the presentation of interactors is a design concern. Widgets are common re-usable interactors for which the presentation is usually well defined. Definitions of widgets may be stored in a library. We illustrate the characteristics of notations for interactor based specification using the Object-Z language and demonstrate using interactors from a widget library. Formal methods enable a "model-based" approach to be taken to the development of user-interface designs. A specification in terms of widgets is derivable from an abstract interactor-based specification. A corresponding user-interface design is usually easily identified from a widget-based specification. Interactor-based user-interface designs can be used to define an architecture for a corresponding system implementation. Derivation of a widget-based specification from an abstract specification corresponds to a task decomposition (i.e., the abstract and widget-based specifications enable the same tasks to be performed, although the operations involved differ). Task decomposition defines a compatibility relation between user-interface specifications. We give "specification patterns" to assist incrementally transforming an abstract user-interface specification to an equivalent specification in terms of widgets.

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 1999. / Bibliography: p. 143-150.

Univ., Diss.--Passau, 1991.

Thesis (M.S.)--Kutztown University of Pennsylvania, 1990. / Source: Masters Abstracts International, Volume: 45-06, page: 3182. Typescript. Includes bibliographical references (leaves 69-71).

Thesis (Ph. D.)--University of Washington, 1997. / Vita. Includes bibliographical references (p. [188]-196).

Thesis (Ph. D.)--University of Washington, 1998. / Vita. Includes bibliographical references (p. [125]-133).

Thesis (Ph.D.(Computer Science))--University of Pretoria, 2001. / Summaries in Afrikaans and English. Includes bibliographical references.