Show simple item record

dc.contributor.authorBrandenburg, Jeffrey Lynnen_US
dc.date.accessioned2014-03-14T21:13:35Z
dc.date.available2014-03-14T21:13:35Z
dc.date.issued1995-04-17en_US
dc.identifier.otheretd-06062008-164012en_US
dc.identifier.urihttp://hdl.handle.net/10919/38255
dc.description.abstractThe design and construction of interactive systems with high usability requires a user-centered approach to system development. In order to support such an approach, it is necessary to provide tools and representations reflecting a behavioral view of the interface-a view centered on user activities and the system activities and states perceived by the user. While behavioral representations exist, there is no behavioral mode I of interaction between a user and a system. Such a model is necessary for formalization and extension of existing behavioral representations. This dissertation presents a model of interactive behavior based on the timetree, a novel tree-based structure representing tasks, user actions, system activity, and system and interface state, all within a framework of branching sequential timelines. The model supports formal definitions, operations and abstraction techniques. Three application areas - a formal definition of an existing behavioral notation, connection between a behavioral representation and a formal model of input devices, and techniques for analysis of behavioral specifications - provide examples of the model's utility.en_US
dc.format.mediumBTDen_US
dc.publisherVirginia Techen_US
dc.relation.haspartLD5655.V856_1995.B736.pdfen_US
dc.subjectuser action notationen_US
dc.subjecttask analysisen_US
dc.subjectformal modelsen_US
dc.subjecthuman-computer interactionen_US
dc.subjecttemporal logicen_US
dc.subjectdesign representationsen_US
dc.subject.lccLD5655.V856 1995.B736en_US
dc.titleTimetrees :a branching-time structure for modeling activity and state in the human-computer interfaceen_US
dc.typeDissertationen_US
dc.contributor.departmentComputer Scienceen_US
dc.description.degreePh. D.en_US
thesis.degree.namePh. D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Scienceen_US
dc.contributor.committeechairHartson, H. Rexen_US
dc.contributor.committeememberHix, Deborah S.en_US
dc.contributor.committeememberArthur, James D.en_US
dc.contributor.committeememberBloss, Adrienne G.en_US
dc.contributor.committeememberHagedorn, George A.en_US
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-06062008-164012/en_US
dc.date.sdate2008-06-06en_US
dc.date.rdate2008-06-06
dc.date.adate2008-06-06en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record