{"title":"Formal methods in computer human interaction: comparison, benefits, open questions","authors":"F. Paternò, G. Abowd, Philippe A. Palanque","doi":"10.1145/257089.257417","DOIUrl":null,"url":null,"abstract":"In order to have a more focused discussion a specific case study has been selected and it will be used to compare the various approaches proposed. This case study is the specification of a subset of the functionality of a NetScapelike browser and a html page server. The proposals will have to answer a set of questions such as: can you verify usability properties on your specification? How difficult is it to translate your specification into an implementation? What kind of constructs do you use in order to structure your specification? Designers should consider issues such as: history of the performed interactions, browsability of the user interface (i.e. the use of links), non-preemptive behaviour, effective and continuous feedback about the current state of interactions.","PeriodicalId":281135,"journal":{"name":"Conference Companion on Human Factors in Computing Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Conference Companion on Human Factors in Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/257089.257417","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
In order to have a more focused discussion a specific case study has been selected and it will be used to compare the various approaches proposed. This case study is the specification of a subset of the functionality of a NetScapelike browser and a html page server. The proposals will have to answer a set of questions such as: can you verify usability properties on your specification? How difficult is it to translate your specification into an implementation? What kind of constructs do you use in order to structure your specification? Designers should consider issues such as: history of the performed interactions, browsability of the user interface (i.e. the use of links), non-preemptive behaviour, effective and continuous feedback about the current state of interactions.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
