{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:36Z","timestamp":1725455856771},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027296","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:00:45Z","timestamp":1132365645000},"page":"329-346","source":"Crossref","is-referenced-by-count":3,"title":["Preliminary evaluation of a formal approach to user interface specification"],"prefix":"10.1007","author":[{"given":"John C.","family":"Knight","sequence":"first","affiliation":[]},{"given":"Susan S.","family":"Brilliant","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abowd, G., Dix, A.: Integrating status and event phenomena in formal specifications of interactive systems, Proc. FSE 2: Second ACM Sigsoft Symposium on Foundations of Software Engineering, New Orleans, LA (1994).","DOI":"10.1145\/193173.195293"},{"key":"17_CR2","unstructured":"Abowd, G., et al, User interface languages: a survey of existing methods, Technical Report PRG-TR-5-89, Oxford University Computing Laboratory (1989)."},{"key":"17_CR3","unstructured":"Brilliant, S., Knight, J., Elder, M.: Formal specification of a user interface, American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, University Park, PA (1996)"},{"key":"17_CR4","volume-title":"Z: An Introduction to Formal Methods","author":"A. Diller","year":"1990","unstructured":"Diller, A.: Z: An Introduction to Formal Methods, John Wiley and Sons, Inc., New York (1990)."},{"key":"17_CR5","unstructured":"Dix, A.: Formal Methods for Interactive Systems, Academic Press (1991)."},{"key":"17_CR6","unstructured":"Elder, M.: Specification of User Interfaces for Safety-Critical Systems, Technical report CS-95-30, Department of Computer Science, University of Virginia (1995)."},{"key":"17_CR7","unstructured":"Elder, M., Knight, J.: Specifying user interfaces for safety-critical medical systems, Proceedings, MRCAS '95, 1995 International Symposium on Medical Robotics and Computer Assisted Surgery, Baltimore, MD (1995)."},{"key":"17_CR8","first-page":"217","volume-title":"Fundamentals of Interactive Computer Graphics","author":"J. Foley","year":"1982","unstructured":"Foley, J., Van Dam, A.: Fundamentals of Interactive Computer Graphics, pp. 217\u2013242, Addison-Wesley Inc., New York (1982)."},{"issue":"4","key":"17_CR9","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/PROC.1974.9450","volume":"62","author":"J. Foley","year":"1974","unstructured":"Foley, J., Wallace, V.: The art of natural graphic man-machine conversation, Proceedings of the IEEE, 62, 4, pp. 462\u2013471 (1974).","journal-title":"Proceedings of the IEEE"},{"key":"17_CR10","unstructured":"Harrison, M., Thimbleby, H.: Formal Methods in Human-Computer Interaction, Cambridge University Press (1990)."},{"issue":"3","key":"17_CR11","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/98188.98191","volume":"8","author":"H. Hartson","year":"1990","unstructured":"Hartson, H., Siochi, A., Hix, A.: The UAN: A user-oriented representation for direct manipulation interface designs, ACM Transactions on Information Systems, 8, 3, pp. 181\u2013203 (1990).","journal-title":"ACM Transactions on Information Systems"},{"key":"17_CR12","volume-title":"Developing User Interfaces: Ensuring Usability Through Product and Process","author":"D. Hix","year":"1993","unstructured":"Hix, D., Hartson R.: Developing User Interfaces: Ensuring Usability Through Product and Process, John Wiley and Sons, Inc., New York (1993)."},{"key":"17_CR13","unstructured":"Ince, D.: An Introduction to Discrete Mathematics and Formal System Specification, Clarendon Press (1988)."},{"issue":"4","key":"17_CR14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"R. Jacob","year":"1986","unstructured":"Jacob, R.: A specification language for direct-manipulation user interfaces, ACM Transactions on Graphics, 5, 4, pp. 283\u2013317 (1986).","journal-title":"ACM Transactions on Graphics"},{"issue":"4","key":"17_CR15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2163.358093","volume":"26","author":"R. Jacob","year":"1983","unstructured":"Jacob, R.: Using formal specifications in the design of a human-computer interface, CACM 26, 4, pp. 259\u2013264 (1983).","journal-title":"CACM"},{"issue":"2","key":"17_CR16","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N. Leveson","year":"1986","unstructured":"Leveson, N.: Software safety: why, what, and how, Computing Surveys, 18, 2, pp. 125\u2013163 (1986).","journal-title":"Computing Surveys"},{"issue":"7","key":"17_CR17","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N. Leveson","year":"1993","unstructured":"Leveson, N., Turner, C.: An investigation of the Therac 25 accidents, IEEE Computer, 26, 7, pp. 18\u201341 (1993).","journal-title":"IEEE Computer"},{"issue":"11","key":"17_CR18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.60882","volume":"23","author":"B. Myers","year":"1990","unstructured":"Myers, B. et al, Garnet: Comprehensive support for graphical, highly interactive user interfaces, IEEE Computer, 23, 11, pp. 71\u201385 (1990).","journal-title":"IEEE Computer"},{"key":"17_CR19","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1991","unstructured":"Potter, B., et al.: An Introduction to Formal Specification and Z, Prentice Hall, Inc., New Jersey (1991)."},{"issue":"2","key":"17_CR20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TSE.1981.234520","volume":"SE-7","author":"P. Reisner","year":"1981","unstructured":"Reisner, P.: Formal grammar and human factors design of an interactive graphics system, IEEE Trans. on Software Engineering, SE-7, 2, pp. 229\u2013240 (1981).","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"17_CR21","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSMC.1982.4308798","volume":"12","author":"B. Shneiderman","year":"1982","unstructured":"Shneiderman, B.: Multiparty grammars and related features for defining interactive systems,\u201d IEEE Transactions on Systems, Man, and Cybernetics, 12, 2, pp. 148\u2013154 (1982).","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"17_CR22","unstructured":"Waite, C.: electronic mail posted to safety-critical newsgroup (1996)."},{"key":"17_CR23","unstructured":"University of Virginia Reactor, The University of Virginia Nuclear Reactor Facility Tour Information Booklet, http:\/\/minerva.acc.virginia.edu\/\u223creactor."}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T18:21:27Z","timestamp":1549304487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0027296","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}