41 |
Object-Oriented Specification and Design of User InterfacesHussey, Andrew Patrick Unknown Date (has links)
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.
|
42 |
Orthogonal persistence, object-orientation and distribution /Lew Kew Lin, Kevin C. F. January 1999 (has links) (PDF)
Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 1999. / Bibliography: p. 143-150.
|
43 |
Algebraic specification techniques in object oriented programming environments /Breu, Ruth. January 1991 (has links)
Univ., Diss.--Passau, 1991.
|
44 |
DMAS : a Display Measurement and Analysis System with an object-oriented database /Qian, Yihong, January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 112-120). Also available via the Internet.
|
45 |
Object-oriented programming an in-depth study /Anderson, Randi Lynne. January 1990 (has links)
Thesis (M.S.)--Kutztown University of Pennsylvania, 1990. / Source: Masters Abstracts International, Volume: 45-06, page: 3182. Typescript. Includes bibliographical references (leaves 69-71).
|
46 |
Private and shared data in object-oriented programmingTheologitis, Vassilios. January 1992 (has links)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 1992. / Thesis Advisor: Nelson, Michael L. "March 1992." Includes bibliographical references (p. 158-161). Also available in print.
|
47 |
Role oriented programming for software evolution /VanHilst, Michael, January 1997 (has links)
Thesis (Ph. D.)--University of Washington, 1997. / Vita. Includes bibliographical references (p. [188]-196).
|
48 |
A query language for information graphs /Betrabet, Sangita, January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 98-104). Also available via the Internet.
|
49 |
Effective interprocedural optimization of object-oriented languages /Grove, David Paul, January 1998 (has links)
Thesis (Ph. D.)--University of Washington, 1998. / Vita. Includes bibliographical references (p. [125]-133).
|
50 |
Unity-inspired object-oriented concurrent system developmentRoss, Marlene Maria. January 2006 (has links)
Thesis (Ph.D.(Computer Science))--University of Pretoria, 2001. / Summaries in Afrikaans and English. Includes bibliographical references.
|
Page generated in 0.5012 seconds