AI helps you reading Science
A formal technique for automated dialogue development
Symposium on Designing Interactive Systems, pp.219-226, (1995)
EI
Keywords
Abstract
Abstract A number,of notations exist by which,a designer can specify the behavior,of a human-computer,interface in relatively formal terms. In this paper we,show,how,many,of the dia- logue,specifications described,using,these notations are amenable,to automated,analysis to detect potential problems such as user actions that are never enab...More
Code:
Data:
Tags
Comments
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn