{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:26Z","timestamp":1725662966484},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138839"},{"type":"electronic","value":"9783540390879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13883-8_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:08:05Z","timestamp":1330193285000},"page":"241-258","source":"Crossref","is-referenced-by-count":0,"title":["Abstraction concepts for modeling screen oriented dialogue interfaces"],"prefix":"10.1007","author":[{"given":"R.","family":"Studer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61, Springer Verlag, 1978","DOI":"10.1007\/3-540-08766-4"},{"key":"16_CR2","unstructured":"Bjorner, D., Jones, C.B.: Formal Specification and Software Development, Prentice Hall, 1982"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Guttag, J., Horning, J.J.: Formal Specification as a Design Tool, in: Proc. Principles of Programming Languages, 1980","DOI":"10.1145\/567446.567471"},{"key":"16_CR4","unstructured":"Hansen, M.R., Hansen, B.S.: A Generic Application Programming System, Technical University of Denmark, Lyngby, Master Thesis, 1982"},{"issue":"4","key":"16_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2163.358093","volume":"26","author":"R.J.K. Jakob","year":"1983","unstructured":"Jakob, R.J.K.: Using Formal Specifications in the Design of a Human Computer Interface, in: CACM 26, 4 (April 1983), 259\u2013264","journal-title":"CACM"},{"key":"16_CR6","unstructured":"Mohrmann, J.: Formal Specification of a Form Oriented Dialogue Interface, University of Stuttgart, Institut f\u00fcr Informatik, Master Thesis, 1983"},{"key":"16_CR7","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977"},{"key":"16_CR8","unstructured":"Studer, R.: Abstract Models of Dialogue Concepts. in: Proc. 7th Int. Conf. on Software Engineering, Orlando, 1984"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0167-6423(82)90014-4","volume":"1","author":"B. Sufrin","year":"1982","unstructured":"Sufrin, B.: Formal Specification of a Display-Oriented Text Editor, in: Science of Computer Programming 1 (1982), 175\u2013202","journal-title":"Science of Computer Programming"},{"key":"16_CR10","unstructured":"Wasserman, A.I.: The User Software Engineering Methodology, An Overview, in: Olle et al. (eds.) Information Systems Design Methodologies: A Comparative Review, North-Holland Publ. Co., 1982"},{"key":"16_CR11","unstructured":"Wasserman, A.I.: Extending State Transition Diagrams for the Specification of Human-Computer Interaction, University of California, San Francisco, Medical Information Science, Technical Report, 1984"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13883-8_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:46Z","timestamp":1619556886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13883-8_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138839","9783540390879"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-13883-8_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}