{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T04:41:04Z","timestamp":1741754464678,"version":"3.38.0"},"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_6","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:23:51Z","timestamp":1316474631000},"page":"67-83","source":"Crossref","is-referenced-by-count":0,"title":["Towards User Interfaces Prototyping from Algebraic Specification"],"prefix":"10.1007","author":[{"given":"M.","family":"Cabrera","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Torres","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gea","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Torres, J.C.; Gea, M.; Guti\u00e9rrez, F.L.; Cabrera, M.; Rodriguez, M.: The GRALPLA Specification Language. Dpto. Lenguajes y Sistemas Inform\u00e2ticos, Universidad de Granada, Spain. Internal Report 96\u20131, 1996."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Torres, J.C; Gea, M.; Guti\u00e9rrez, F.L.; Cabrera, M.; Rodriguez, M.: GRALPLA: An Algebraic Specification Language For Interactive Graphic Systems. Design, Specification and Verification of Interactive Systems, F. Bodart, J. Vanderdonck (eds.). Springer Verlag, 1996. pp. 272\u2013291","DOI":"10.1007\/978-3-7091-7491-3_14"},{"key":"6_CR3","volume-title":"Especificaci\u00f4n Formal de Sistemas Gr\u00e2ficos","author":"M Gea","year":"1997","unstructured":"Gea, M. Especificaci\u00f4n Formal de Sistemas Gr\u00e2ficos. PhD Dissertation, Department of Lenguajes y Sistemas Inform\u00e2ticos, University of Granada, Granada, Spain. June 1997."},{"key":"6_CR4","volume-title":"ACM INTERCHI 93 Proceedings","author":"P Sukaviriya","year":"1993","unstructured":"Sukaviriya, P.; Foley, J.D.; Griffith, T.: A second generation user interface design environment: The model and the runtime architecture. ACM INTERCHI 93 Proceedings. ACM, 1993."},{"key":"6_CR5","volume-title":"Eurographics Workshop on Design","author":"P Sukaviriya","year":"1994","unstructured":"Sukaviriya, P.; Muthukumarasamy, J.; Frank, M.; Foley, J.D.: A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS\u201994. Pisa. 1994"},{"key":"6_CR6","volume-title":"ACM CHI 92 Proceedings","author":"P Szekely","year":"1992","unstructured":"Szekely, P.; Luo, P.; Neches, R.: Facilitating the Exploration of Design Alternative: The HUMANOID Model of User Interface Design. ACM CHI 92 Proceedings. ACM 1992."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Szekely, P.; Luo, P.; Neches, R.: Beyond Interface Builders: Model-Based Interface Tools. InterCHI\u201993, pp 383\u2013390.","DOI":"10.1145\/169059.169305"},{"key":"6_CR8","volume-title":"Specification and Verification of Interactive Systems DSV-IS\u201994","author":"F Bodart","year":"1994","unstructured":"Bodart, F.; Hennebert, A.M.; Leheureux, J.M.; Provot, I.; Vanderdonckt, J.: A Model-Based Approach to Presentation: a Continuum from Task Analysis to Prototype. Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS\u201994. 1994"},{"key":"6_CR9","volume-title":"Specification and Verification of Interactive Systems DSV-IS\u201995","author":"F Bodart","year":"1995","unstructured":"Bodart, F.; Hennebert, A.M.; Leheureux, J.M.; Provot, I.; Sacr\u00e9, B.; Vanderdonckt, J.: Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS\u201995. 1995"},{"key":"6_CR10","volume-title":"Specification and Verification of Interactive Systems CADUI\u201996","author":"P Markopoulos","year":"1996","unstructured":"Markopoulos, P.; Pycock, J.; Wilson, S.; Johnson: Adept - A task based design environment. Eurographics Workshop on Design, Specification and Verification of Interactive Systems CADUI\u201996. 1996."},{"key":"6_CR11","volume-title":"Proceedings Interact\u201995","author":"Balzert","year":"1995","unstructured":"Balzert, H,: From OOA to GUI - The JANUS-System. Proceedings Interact\u201995. 1995."},{"key":"6_CR12","unstructured":"Schlungbaum, E.; Elwert, T: Automatic User Interface Generation from Declarative Models. Proceedings of the 2\u00b0d International Workshop on Computer-Aided Design of User Interfaces CADUI\u201996. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. pp. 3\u201318."},{"key":"6_CR13","unstructured":"Schlungbaum, E.; Elwert, T: Modelling and Generation of Graphical User Interface in the TADEUS Approach. P. Palanque, R. Bastide (eds.): Designing, Specification, and Verification of Interactive Systems. Wien, Springer Verlag, 1995. Pp. 193\u2013208."},{"key":"6_CR14","unstructured":"Lonczewski F.; Schriber S.: The Fuse-System: an integrated User Interface Environment. Proceedings of the 2\u2019d International Workshop on Computer-Aided Design of User Interfaces CADUI\u201996. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. Pp. 39\u201356."},{"key":"6_CR15","unstructured":"Paterne), F.; Meniconi, S.: TLIM, a Systematic Method for the Design of Interactive Systems. Palanque, P; Paterne), F. (eds.). Formal Methods in Human\u2013Computer Interaction. Springer Verlag, FACIT Series, ISBN 3\u2013540\u201376158\u20136, 1997. pp 241 \u2013 260."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Paterne), F.; Santoro, C.; Tahmassebi, S.: Formal Models for Cooperative Task: Concepts and an Application for En-route Air Traffic Control. Markopoulos, P.; Johnson, P. (eds.). Design, Specification and Verification of Interactive Systems\u201998. Springer Verlag. 1998. pp 71\u201386.","DOI":"10.1007\/978-3-7091-3693-5_6"},{"key":"6_CR17","unstructured":"Puerta, A: The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development. Proceedings of the 2\u2019d International Workshop on Computer-Aided Design of User Interfaces CADUI\u201996. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. Pp. 19\u201335."},{"key":"6_CR18","volume-title":"Interactively Mapping Task Models to Interfaces in MOBI-D","author":"A Puerta","year":"1998","unstructured":"Puerta, A.; Eisenstein, J.: Interactively Mapping Task Models to Interfaces in MOBI-D. Proceedings 5\u2019h Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS\u201998. Abingdon, United Kingdom, June 1998."},{"key":"6_CR19","volume-title":"Verification of Interactive Systems using Algebraic Specification","author":"FL Guti\u00e9rrez","year":"1998","unstructured":"Guti\u00e9rrez, F.L.; Gea, M.; Torres, J.C.: Verification of Interactive Systems using Algebraic Specification. Proceedings 5\u2019h Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS\u201998. Abingdon, United Kingdom, June 1998."},{"key":"6_CR20","volume-title":"Designing an Object-Oriented Rendering System","author":"C Urena","year":"1997","unstructured":"Urena, C.; Designing an Object-Oriented Rendering System. Proceedings 6th Eurographics Workshop on Programming Paradigms in Graphics. Budapest, Hungary. September 1997."}],"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_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T17:46:27Z","timestamp":1741715187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_6","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}