{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:00:26Z","timestamp":1725739226091},"publisher-location":"Vienna","reference-count":9,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832127"},{"type":"electronic","value":"9783709136935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-7091-3693-5_12","type":"book-chapter","created":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T14:43:00Z","timestamp":1372948980000},"page":"171-190","source":"Crossref","is-referenced-by-count":8,"title":["Integrating rendering specifications into a formalism for the design of interactive systems"],"prefix":"10.1007","author":[{"name":"LIS \u2014 FROGIS","sequence":"first","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Duc-Hoa","family":"Le","sequence":"additional","affiliation":[]},{"given":"Jaime","family":"Mu\u00f1oz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"383","volume-title":"Interactive systems: design, specification, and verification (DSV-IS\u201994)","author":"R Bastide","year":"1994","unstructured":"Bastide, R\u00e9mi; Palanque, Philippe. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism, in: Patern\u00f2, Fabio, Volume editor. Interactive systems: design, specification, and verification (DSV-IS\u201994). Springer-Verlag; 1994. pp. 383\u2013400."},{"key":"12_CR2","first-page":"285","volume-title":"2nd workshop on Computer Aided Design of User Interfaces, CADUI\u201996","author":"R Bastide","year":"1996","unstructured":"Bastide, R\u00e9mi; Palanque, Philippe. Implementation techniques for Petri net based specifications of human computer dialogues, in: Vanderdonkt, Jean, Editor. 2nd workshop on Computer Aided Design of User Interfaces, CADUI\u201996; Universite Notre-Dame de la Paix, Namur (Belgium). Presses Universitaires de Namur; 1996. pp. 285\u2013302."},{"key":"12_CR3","first-page":"174","volume-title":"2nd Eurographics workshop on Design Specification and Verification of Interactive System (DSV-IS\u201995) Jun 7\u20139 1995","author":"P Bumbulis","year":"1995","unstructured":"Bumbulis, Peter; Alencar, P.; Cowan, D.; Lucena, C. Combining formal techniques in user interface construction and verification, in: Palanque, Philippe; Bastide, Remi, Editors. 2nd Eurographics workshop on Design Specification and Verification of Interactive System (DSV-IS\u201995) Jun 7\u20139 1995; Toulouse, France. Springer-Verlag; 1995. pp. 174\u2013192."},{"key":"12_CR4","first-page":"109","volume-title":"4th Eurographics workshop on Design, Specification and Verification of Interactive System (DSV-IS\u201997) Jun 4\u20136 1997","author":"J Campos","year":"1997","unstructured":"Campos, Jos\u00e9 C; Harrison, Michael. Formally verifying interactive systems: A review, in: Harrison, Michael; Torres, Juan C, Editors. 4th Eurographics workshop on Design, Specification and Verification of Interactive System (DSV-IS\u201997) Jun 4\u20136 1997; Granada, Spain. Springer-Verlag; 1997. pp. 109\u2013124."},{"key":"12_CR5","first-page":"141","volume-title":"Formal methods in Human-Computer Interaction","author":"D Carr","year":"1997","unstructured":"Carr, David. Interaction Object Graphs: an executable graphical notation for specifying user interfaces, in: Palanque, Philippe; Patern\u00f2, Fabio, Editors. Formal methods in Human-Computer Interaction. Springer-Verlag; 1997. pp. 141\u2013155."},{"key":"12_CR6","series-title":"ESPRIT BRA 7040 Amodeus-2","volume-title":"Conceptual software architecture models for interactive system","author":"J Coutaz","year":"1993","unstructured":"Coutaz, Jo\u00eblle; Nigay, Laurence; Salber, Daniel. Conceptual software architecture models for interactive system. ESPRIT BRA 7040 Amodeus-2; 1993 Mar. Report No.:WP11."},{"key":"12_CR7","volume-title":"Du Grafcet aux r\u00e9seaux de Petri","author":"R David","year":"1992","unstructured":"David, Ren\u00e9; Alia, Hassane. Du Grafcet aux r\u00e9seaux de Petri. Paris: Herm\u00e8s; 1992."},{"key":"12_CR8","series-title":"Cambridge tracts on computer science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets","author":"J Desel","year":"1995","unstructured":"Desel, J\u00f6rg; Esparza, Javier. Free choice Petri nets. Cambridge University Press; 1995. (Cambridge tracts on computer science; 40)."},{"key":"12_CR9","volume-title":"Formal methods for interactive systems","author":"A Dix","year":"1991","unstructured":"Dix, Alan J. Formal methods for interactive systems. Academic Press; 1991."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-3693-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T11:41:16Z","timestamp":1557920476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-3693-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783211832127","9783709136935"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-3693-5_12","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1998]]}}}