{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:22Z","timestamp":1725611422236},"publisher-location":"Vienna","reference-count":20,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_9","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T19:23:51Z","timestamp":1316460231000},"page":"117-132","source":"Crossref","is-referenced-by-count":0,"title":["Refinement of the PAC model for the component-based design and specification of television based interfaces"],"prefix":"10.1007","author":[{"given":"Panos","family":"Markopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Shrubsole","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"de Vet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"1998","volume-title":"User interface management systems for consumer electorings products: The G+4 Approach. 4th Philips Software Conference, June","author":"A Jansen","year":"1998","unstructured":"Jansen, A. (1998). User interface management systems for consumer electorings products: The G+4 Approach. 4th Philips Software Conference, June 1998, Eindhoven, The Netherlands, Philips Internal Report."},{"key":"9_CR2","volume-title":"Formal aspects of human computer interaction","author":"G Abowd","year":"1992","unstructured":"Abowd, G. (1992). Formal aspects of human computer interaction. Ph.D.Thesis, University of Oxford."},{"key":"9_CR3","unstructured":"Bass, L & Coutaz, J. (1991). Developing software for the user interface. Addison Wesley."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bass, L., (1992). A Metamodel for the run time architecture of an interactive system, SIGCHI Bulleting, 24(1).","DOI":"10.1145\/142394.142401"},{"key":"9_CR5","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P. and Stal M. (1996) A system of patterns. Pattern-oriented software architecture. Wiley."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Coutaz, J., (1987). PAC, an object oriented model for dialog design. In Bullinger, H.J. & Shackel, Eds., INTERACT\u201987, North Holland, Elsevier, 431436.","DOI":"10.1016\/B978-0-444-70304-0.50074-1"},{"key":"9_CR7","first-page":"13","volume-title":"Design Specification and Verification of Interactive Systems \u201887","author":"J Coutaz","year":"1997","unstructured":"Coutaz, J., (1997). PAC-ing the user interface architecture. In M.D.Harrison and J.-C.Torres, Eds., Design Specification and Verification of Interactive Systems \u201887, Springer, 13\u201328."},{"key":"9_CR8","unstructured":"Gamma, E., Helm, R., Johnson, R. & Vlissides, J. (1994). Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley."},{"key":"9_CR9","volume-title":"Philips Internal Report","author":"R Hamberg","year":"1998","unstructured":"Hamberg, R, ter Horst, H., de Ruyter, B., & de Vet, J., (1998) Menu Interaction Styles, An information model and editor, Nat.Lab. Technical Note 042\/98, Philips Internal Report."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/98188.98191","volume":"8","author":"R Hartson","year":"1990","unstructured":"Hartson, R., Siochi, A.C., Hix, D., (1990). The UAN: A user\u2013oriented representation for direct manipulation systems, ACM Transactions on Information Systems, 8, 181\u2013203.","journal-title":"ACM Transactions on Information Systems"},{"key":"9_CR11","volume-title":"Formal Aspects of the Human Computer Interface","author":"A Hussey","year":"1996","unstructured":"Hussey, A. & Carrington, D (1996). Using Object-Z to compare the MVC and PAC architectures. In Roast, C & Siddiqi, J (Eds.) Formal Aspects of the Human Computer Interface, BCS-FACS workshop, Springer, eWiC series."},{"key":"9_CR12","unstructured":"ISO(1989). Information processing systems-open systems interconnection. \u2014 LOTOS A formal description technique based on the temporal ordering of observational behaviour. ISO\/IEC 8807,International organisation for Standardisation, Geneva."},{"issue":"3","key":"9_CR13","first-page":"26","volume":"1","author":"GE Krasner","year":"1988","unstructured":"Krasner, G.E. & Pope, S.T. (1988). A cookbook for using the Model-viewcontroller User Interface Paradigm in the Smalltalk-80 System. Journal of Object\u2014Oriented Programming, 1 (3), 26\u201349.","journal-title":"Journal of Object\u2014Oriented Programming"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1006\/ijhc.1998.0223","volume":"49","author":"P Markopoulos","year":"1998","unstructured":"Markopoulos, P. (1998). Formal architectural abstractions for interactive software. Int. Journal of Human Computer Studies, 49, 675\u2013715.","journal-title":"Int. Journal of Human Computer Studies"},{"key":"9_CR15","first-page":"102","volume-title":"Design, Specification and Verification of Interactive Systems \u201888, Springer","author":"P Markopoulos","year":"1998","unstructured":"Markopoulos, P., Papatzanis, G., Johnson, P. and Rowson, J. (1998). Validating semi-formal specifications of interactors as design representations. In Markopoulos, P. and Johnson, P. (Eds.) Design, Specification and Verification of Interactive Systems \u201888, Springer, 102\u2013133."},{"key":"9_CR16","unstructured":"Microsoft COM homepage. http:\/\/www.microsoft.com\/com"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-68383-6_12","volume-title":"Development and Evolution of Software Architectures for Product Families. Springer, LNCS","author":"R Ommering Van","year":"1998","unstructured":"Ommering Van, R., (1998). Koala: a Component Model for Consumer Electronics Product Software. In Van der Linden, F., (Ed.). Development and Evolution of Software Architectures for Product Families. Springer, LNCS 1429, 76\u201386."},{"key":"9_CR18","unstructured":"Shaw, M. and Garlan, D. (1996). Software Architecture. Perspectives on an emerging discipline. Prentice Hall (New Jerse Y)"},{"key":"9_CR19","unstructured":"Szyperski, C., (1997). Component So ftware. Beyond Object-Oriented Programming. Addison-Wesley."},{"key":"9_CR20","first-page":"351","volume-title":"Design of Computing Systems: social and ergonomic considerations. Proc. HCI International\u201997, Elsevier","author":"F Tarpin-Bernard","year":"1997","unstructured":"Tarpin-Bernard, F., David, B.T. (1997) AMF: a new design pattern for complex interactive software? In Smith, M.J., Salvendy, G., and Koubek R.J. (Eds.) Design of Computing Systems: social and ergonomic considerations. Proc. HCI International\u201997, Elsevier, 351\u2013354."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T20:41:02Z","timestamp":1560631262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_9","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}