{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:32:14Z","timestamp":1743100334342,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642392313"},{"type":"electronic","value":"9783642392320"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39232-0_34","type":"book-chapter","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T21:44:59Z","timestamp":1372715099000},"page":"300-309","source":"Crossref","is-referenced-by-count":9,"title":["Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Engel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"M\u00e4rtin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Herdin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Alexander, C., et al.: A pattern language. Oxford University Press (1977)"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Berti, S., et al.: A transformation-based environment for designing multi-device interactive applications. In: Proceedings of the 9th International Conference on Intelligent User Interfaces, Funchal (January 2004)","DOI":"10.1145\/964442.964530"},{"key":"34_CR3","unstructured":"Bienhaus, D.: PLMLx Doc. (2004), \n                    \n                      http:\/\/www.cs.kent.ac.uk\/people\/staff\/saf\/patterns\/plml.html\n                    \n                    \n                   (last website call on February\u00a03, 2012)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Deng, J., Kemp, E., Todd, E.G. (Hg.): Focusing on a standard pattern form: the development and evaluation of MUIP. In: Proceedings of the 6th ACM SIGCHI New Zealand Chapter\u2019s International Conference on Computer-Human Interaction: Design Centered HCI (2006)","DOI":"10.1145\/1152760.1152771"},{"key":"34_CR5","unstructured":"van Duyne, D., Landay, J., Hong, J.: The Design of Sites, Patterns for Creating Winning Websites, 2nd edn. Prentice Hall International (2006) ISBN 0-13-134555-9"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1007\/978-3-642-02574-7_92","volume-title":"Human-Computer Interaction. New Trends","author":"J. Engel","year":"2009","unstructured":"Engel, J., M\u00e4rtin, C.: PaMGIS: A Framework for Pattern-based Modeling and Generation of Interactive Systems. In: Jacko, J.A. (ed.) HCI International 2009, Part I. LNCS, vol.\u00a05610, pp. 826\u2013835. Springer, Heidelberg (2009)"},{"key":"34_CR7","unstructured":"Engel, J., M\u00e4rtin, C., Herdin, C.: Exploiting HCI Pattern Collections for User Interface Generation. In: Proceedings of PATTERNS 2012, the 4th International Conferences of Pervasive Patterns and Applications, Nice, France, pp. 36\u201344 (2012)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Fincher, S., et al.: Perspectives on HCI patterns: concepts and tools. In: CHI 2003 Extended Abstracts on Human Factors in Computing Systems, Ft. Lauderdale, Florida, USA, pp. 1044\u20131045. ACM (2003)","DOI":"10.1145\/765891.766140"},{"key":"34_CR9","unstructured":"Forbrig, P., Reichart, D.: Spezifikation von \u201cMultiple User Interfaces\u201d mit Dialoggraphen. In: Processdings of INFORMATIK 2007: Informatik Trifft Logistik, Beitr\u00e4ge der 37, Bremen. Jahrestagung der Gesellschaft f\u00fcr Informatik e.V., GI (September 2007)"},{"key":"34_CR10","volume-title":"TAMODIA 2004 Proceedings of the 3rd Annual Conference on Task Models and Diagrams","author":"A. Gaffar","year":"2004","unstructured":"Gaffar, A., et al.: Modeling patterns for task models. In: TAMODIA 2004 Proceedings of the 3rd Annual Conference on Task Models and Diagrams. ACM, New York (2004)"},{"key":"34_CR11","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"34_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-21602-2_29","volume-title":"Human-Computer Interaction. Design and Development Approaches","author":"C. Kaelber","year":"2011","unstructured":"Kaelber, C., M\u00e4rtin, C.: From Structural Analysis to Scenarios and Patterns for Knowledge Sharing Applications. In: Jacko, J.A. (ed.) Human-Computer Interaction, Part I, HCII 2011. LNCS, vol.\u00a06761, pp. 258\u2013267. Springer, Heidelberg (2011)"},{"issue":"2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/971258.971268","volume":"11","author":"A. Marcus","year":"2004","unstructured":"Marcus, A.: Patterns within Patterns. Interactions\u00a011(2), 28\u201334 (2004)","journal-title":"Interactions"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-642-39232-0_44","volume-title":"HCII","author":"C. M\u00e4rtin","year":"2013","unstructured":"M\u00e4rtin, C., Herdin, C., Engel, J.: Patterns and models for automated user interface construction \u2013 in search of the missing links. In: Kurosu, M. (ed.) Human-Computer Interaction, Part I, HCII 2013. LNCS, vol.\u00a08004, pp. 401\u2013410. Springer, Heidelberg (2013)"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F.: ConcurTaskTrees: An Engineered Approach to Model-based Design of Interactive Systems. ISTI-C.N.R., Pisa (2001)","DOI":"10.1007\/978-1-4471-0445-2_4"},{"key":"34_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0445-2","volume-title":"Model-based Design and Evaluation of Interactive Applications","author":"F. Patern\u00f2","year":"2000","unstructured":"Patern\u00f2, F.: Model-based Design and Evaluation of Interactive Applications. Springer, London (2000)"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Schlungbaum, E., Elwert, T.: Dialogue Graphs \u2013 A Formal and Visual Specification Technique for Dialogue Modelling. Springer (1996)","DOI":"10.14236\/ewic\/FAC1996.13"},{"key":"34_CR18","unstructured":"Tidwell, J.: Designing Interfaces. Patterns for Effective Interaction Design, 2nd edn. O\u2019Reilly Media Inc. (2011) ISBN\u00a0978-1-449-37970-4"},{"key":"34_CR19","series-title":"Theories Models and Processes in HCI","volume-title":"Proc. of HCI International","author":"T. Tiedtke","year":"2005","unstructured":"Tiedtke, T., Krach, T., M\u00e4rtin, C.: Multi-Level Patterns for the Planes of User Experience. In: Proc. of HCI International, July 22-27. Theories Models and Processes in HCI, vol.\u00a04. Lawrence Erlbaum, Las Vegas (2005)"},{"key":"34_CR20","unstructured":"van Welie, M.: Patterns in Interaction Design, \n                    \n                      http:\/\/www.welie.com\n                    \n                    \n                   (last website call on November 25, 2012)"},{"key":"34_CR21","unstructured":"Yoder, J., Barcalow, J.: Architectural patterns for enabling application security. In: International Conference on Pattern Language of Programs, PLoP (1997)"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39232-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:38:40Z","timestamp":1582411120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39232-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392313","9783642392320"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39232-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}