Title :
Towards a logic for knowledge-based user interface specification
Author :
Pasztor, Ana ; Stary, Christian
Author_Institution :
Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
Abstract :
Due to the increasing complexity of user interface development, a conceptual and formal framework for declarative user interface specification is introduced. It is based on end user tasks and several knowledge sources, such as interaction media. The formalism captures static as well as dynamic specification knowledge by applying syntax trees, state transition graphs, and homomorphisms
Keywords :
formal specification; interactive systems; knowledge based systems; user interfaces; homomorphisms; interaction media; knowledge-based user interface specification; state transition graphs; syntax trees; user tasks; Algebra; Communication system control; Computer science; Guidelines; Logic; Power system interconnection; Power system modeling; Standards development; Tree graphs; User interfaces;
Conference_Titel :
Systems, Man, and Cybernetics, 1991. 'Decision Aiding for Complex Systems, Conference Proceedings., 1991 IEEE International Conference on
Conference_Location :
Charlottesville, VA
Print_ISBN :
0-7803-0233-8
DOI :
10.1109/ICSMC.1991.169841
