{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:39:01Z","timestamp":1729643941210,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1109\/achi.2009.26","type":"proceedings-article","created":{"date-parts":[[2009,2,19]],"date-time":"2009-02-19T19:05:58Z","timestamp":1235070358000},"page":"261-270","source":"Crossref","is-referenced-by-count":4,"title":["A Preliminary Experiment of Checking Usability Principles with Formal Methods"],"prefix":"10.1109","author":[{"given":"Steinar","family":"Kristoffersen","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503114"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/108844.108937"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1207\/S15327590IJHC1501_14"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/503457.503460"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1039539.1039541"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00159-0"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97287"},{"key":"13","article-title":"automatic er-gonomic evaluation: what are the limits?","author":"farenc","year":"1999","journal-title":"Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/52.903160"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/257089.257904"},{"journal-title":"HumanComputer Interaction","year":"1997","author":"dix","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.729686"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/108844.108862"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/942572.807045"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/142750.142786"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/108844.108898"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/174800.174808"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/142750.142834"},{"journal-title":"Usability Engineering","year":"1993","author":"nielsen","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/259963.260333"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/174809.174815"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","author":"baader","year":"1998","journal-title":"Term Rewriting and All That"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231149"},{"key":"10","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/3-540-48685-2_18","article-title":"the maude system","author":"clavel","year":"1999","journal-title":"RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231156"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/32.142869"},{"key":"7","first-page":"151","article-title":"catchit, a development environment for transparent usability testing","author":"calvary","year":"2002","journal-title":"TAMODIA '02 Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design"},{"key":"6","first-page":"219","author":"brajnik","year":"2004","journal-title":"Using Automatic Tools in Accessibility and Usability Assurance Processes"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-7600-8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1080\/01449299408914592"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/215585.215704"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/587078.587093"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S1071-5819(02)00126-X"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1145\/356978.356987","article-title":"dissemination of usability: failure of a success story","volume":"8","author":"carlshamre","year":"2001","journal-title":"interactions"}],"event":{"name":"2009 Second International Conferences on Advances in Computer-Human Interactions (ACHI)","start":{"date-parts":[[2009,2,1]]},"location":"Cancun, Mexico","end":{"date-parts":[[2009,2,7]]}},"container-title":["2009 Second International Conferences on Advances in Computer-Human Interactions"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4782474\/4782475\/04782524.pdf?arnumber=4782524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T03:27:17Z","timestamp":1633145237000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4782524\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/achi.2009.26","relation":{},"subject":[],"published":{"date-parts":[[2009,2]]}}}