DSV-IS'94 - Submission topics

The purpose of the workshop is to review the state of the art in this area, compare the different existing approaches to this field in order to identify the principal requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them. Contributions are invited (but not limited to) on
topics such as :

	Foundations and Reference Models for Interactive Systems
	Verification of User Interfaces, application of theorem-provers
	Methodologies for abstract design, comparative studies of methods/description techniques
	Design methodologies for domain-oriented User Interfaces
	Specification languages and properties for Human-Computer Interaction, multi-modal interfaces, and multi-media user interfaces
	Formalisms for User Interface Design, Specification and Verification (e.g., State-Transition Diagrams, Transition Networks, Petri Nets)
	Formal description of user related properties
	Model-based approaches and tools for user interface design
	Automated Generation of User Interfaces
	Design of Graphic Systems, Window Systems, User Interface Management Systems