{"title":"人机交互的形式化方法:比较、利益、开放性问题","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":"{\"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}","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}
Formal methods in computer human interaction: comparison, benefits, open questions
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号
