Digitized by Kansas Correctional Industries

Typescript (photocopy). / Digitized by Kansas Correctional Industries

"January 2004" / Bibliography: leaves 183-198. / xv, 198 leaves : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / As no single specification or verification method is able to solve all classes of problems, especially with industrial-sized applications, a diversity of modelling languages and analysis techniques specialised and optimized for various domains is needed, along with the ability to use them in combination. The work presented in this thesis has concentrated on developing techniques to support the use of a combination of modelling languages, especially visual languages, for system specification. Also, in order to tackle the main obstacles of model checking and make it more accessible to and usable by practising engineers, this work has focused on providing lightweight but effective methods and tools to alleviate the state space explosion problem in model checking. / Thesis (Ph.D.)--University of Adelaide, School of Computer Science, 2004

Thesis (M.S.V.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1981. / Includes bibliographical references (leaves 43-45).

Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references. Available also from UMI Company.

Thesis (M.S.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Computer Science, 2009. / Includes bibliographical references.

Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2004. / Vincent Mooney, Committee Chair; John Barry, Committee Member; James Hamblen, Committee Member; Karsten Schwan, Committee Member; Linda Wills, Committee Member. Includes bibliography.

Thesis (M.S.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains vi, 126 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 100-102).

Includes bibliographical references (p. 69-77).

The management of man-computer dialogues involves policies, procedures, and methodologies that enable users and designers to control, monitor, and enhance the user-computer interface. Effective dialogue management can be facilitated by a computer-aided work-bench of dialogue management tools that integrate pertinent environmental attributes into executable dialogue forms. Consequently, a methodology for generating dialogue designs is required. This research presents a framework for modeling user-computer interactions, or dialogues. The approach taken herein focuses on analysis of task, user, and information technology attributes. This analytical framework isolates dialogue entities and entity groupings. Together, these entities and their groupings suggest a language for information presentation and elicitation in the user-computer dialogue process. As a result, alternative dialogue models can be specified independent of hardware and software technologies. Furthermore, these models can be evaluated to ensure completeness, consistency, and integrity. Under this framework, various dialogue management functions can be integrated into a generalized dialogue management environment. Such an environment facilitates the transformation of task, user, and information technology attributes into executable dialogue definitions. The architecture of this environment is characterized by functionally layered and modularized software tools for dialogue management. The implementation of the proposed methodologies and the dialogue management architecture results in a set of dialogue management design facilities. These facilities foster effective management of dialogues within organizations and lead to a better understanding of the dialogue process.