{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:13:49Z","timestamp":1740287629642,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201595"},{"type":"electronic","value":"9783540399292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39929-2_5","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T20:08:51Z","timestamp":1277842131000},"page":"61-76","source":"Crossref","is-referenced-by-count":29,"title":["StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications"],"prefix":"10.1007","author":[{"given":"Marco","family":"Winckler","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"109","volume-title":"DSVIS 1997","author":"J.C. Campos","year":"1997","unstructured":"Campos, J.C., Harrison, M.D.: Formally Verifying Interactive Systems: A Review. In: Harrison, M.D., Torres, J.C. (eds.) DSVIS 1997, pp. 109\u2013124. Springer, Heidelberg (1997)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Ceri, S., Fraternali, P., Bongio, A.: Language (WebML): a modelling language for designing Web sites. In: Proc. 9th WWW Conference, Amsterdam (May 2000)","DOI":"10.1016\/S1389-1286(00)00040-2"},{"key":"5_CR3","volume-title":"Building Web Applications with UML","author":"J. Connallen","year":"1999","unstructured":"Connallen, J.: Building Web Applications with UML. Addison-Wesley, Reading (1999)"},{"key":"5_CR4","unstructured":"Dimuro, G.P., Costa, A.C.R.: Towards an automata-based navigation model for the specification of web sites. In.: 5th Workshop on Formal Methods, Gramado, 2002. Electronic Notes in Theoretical Computer Science, Amsterdam (2002)"},{"key":"5_CR5","volume-title":"Web Navigation: Designing the User Experience","author":"J. Fleming","year":"1998","unstructured":"Fleming, J.: Web Navigation: Designing the User Experience. O\u2019Reilly, Sebastopol (1998)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/331499.331502","volume":"31","author":"P. Fraternali","year":"1999","unstructured":"Fraternali, P.: Tools and approaches for developing data-intensive Web applications: a Survey. ACM Computing Surveys\u00a031(3), 227\u2013263 (1999)","journal-title":"ACM Computing Surveys"},{"key":"5_CR7","unstructured":"Greenberg, S., Cockburn, A.: Getting back to back: Alternate behaviors for a web browser.s back button. In: Proceedings: 5th Annual Human Factors and the Web Conference, Maryland, USA (1999)"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for computer system. Science of Computer Programming\u00a08(3), 231\u2013271 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Software Engineering Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Software Engineering Methodology"},{"key":"5_CR10","first-page":"253","volume-title":"Constructing the User Interface with Statecharts","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I.: Constructing the User Interface with Statecharts, p. 253. Addison-Wesley, Harlow (1999)"},{"key":"5_CR11","unstructured":"Koch, N., Kraus, A.: The expressive Power of UML-based Web Engineering. In: Schwabe, D., Pastor, O., Rossi, G., Olsina, L. (eds.) 2nd International Workshop on Web-oriented Software Technology (IWWOST 2002) (June 2002)"},{"key":"5_CR12","volume-title":"Proceedings: 24th Inter. Comp. Software and Applications Conf., 2000 Electronic Edition","author":"K. Leung","year":"2000","unstructured":"Leung, K., Hui, L., Yiu, S., Tang, R.: Modelling Web Navigation by StateCharts. In: Proceedings: 24th Inter. Comp. Software and Applications Conf., 2000 Electronic Edition. IEEE Computer Society DL, Los Alamitos (2000)"},{"key":"5_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45144-7","volume-title":"Web Engineering: Managing Diversity and Complexity of Web Applications Development","author":"S. Murugesan","year":"2001","unstructured":"Murugesan, S., Deshpande, Y.: Web Engineering: Managing Diversity and Complexity of Web Applications Development. Springer, Berlin (2001)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"de Oliveira, M.C.F., Turine, M.A.S., Masiero, P.C.: A Statechart-Based Model for Modeling Hypermedia Applications. ACM TOIS (April 2001)","DOI":"10.1145\/366836.366869"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/93.923950","volume":"8","author":"D. Schwabe","year":"2001","unstructured":"Schwabe, D., Esmeraldo, L., Rossi, G., Lyardet, F.: Engineering Web Applications for Reuse. IEEE Multimedia\u00a08(1), 20\u201331 (2001)","journal-title":"IEEE Multimedia"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/64789.64791","volume":"7","author":"P.D. Stotts","year":"1989","unstructured":"Stotts, P.D., Furuta, R.: Petri-net-based hypertext: document structure with browsing semantics. ACM Trans. on Inf. Syst.\u00a07(1), 3\u201329 (1989)","journal-title":"ACM Trans. on Inf. Syst."},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1006\/ijhc.1997.0125","volume":"47","author":"T. Tauscher","year":"1997","unstructured":"Tauscher, T., Greenberg, S.: How people revisit web pages: Empirical findings and implications for the design of history systems. International Journal of Human Computer Studies\u00a047(1), 97\u2013138 (1997)","journal-title":"International Journal of Human Computer Studies"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Turine, M.A.S., Oliveira, M.C.F., Masieiro, P.C.: A navigation-oriented hypertext model based on statecharts. In: Proceeding.. 8th ACM Hypertext Conf., Southampton United Kingdom. pp. 102\u2013111 (April 1997)","DOI":"10.1145\/267437.267449"},{"key":"5_CR19","unstructured":"Winckler, M., Farenc, C., Palanque, P., Bastide, R.: Designing Navigation for Web Interfaces. In: IHM-HCI 2001 Proceedings, Lille France (September 2001)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/168466.168532","volume-title":"Proceedings of the ACM Conference Pankaj K. Gargypertxt (ECHT 1992)","author":"Y. Zheng","year":"1992","unstructured":"Zheng, Y., Pong, M.C.: Using statecharts to model hypertext. In: Proceedings of the ACM Conference Pankaj K. Gargypertxt (ECHT 1992), Milan, Italy, pp. 242\u2013250. ACM Press, New York (1992)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-40011-7_9","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P.P. Silva da","year":"2000","unstructured":"da Silva, P.P., Paton, N.W.: UMLi: The Unified Modelling Language for Interactive Applications. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 117\u2013132. Springer, Heidelberg (2000)"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/175235.175237","volume":"37","author":"F. Halasz","year":"1994","unstructured":"Halasz, F., Schwartz, M.: The Dexter hypertext reference model. Communications of the ACM\u00a037(2), 30\u201339 (1994)","journal-title":"Communications of the ACM"},{"key":"5_CR23","unstructured":"Winckler, M., Palanque, P., Farenc, C., Pimenta, M.: Task-Based Assessment of Web Navigation Design. In: Proceedings: ACM TAMODIA 2002, Bucharest (2002)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39929-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T10:01:13Z","timestamp":1740218473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39929-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201595","9783540399292"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39929-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}