{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:50:41Z","timestamp":1725533441029},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028175"},{"type":"electronic","value":"9783642028182"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02818-2_13","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T09:18:32Z","timestamp":1245230312000},"page":"181-188","source":"Crossref","is-referenced-by-count":4,"title":["Modelling and Verification of Web Navigation\u00a0"],"prefix":"10.1007","author":[{"given":"Zuohua","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingyue","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff W.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44585-4_31","volume-title":"Computer Aided Verification","author":"L. Alfaro","year":"2001","unstructured":"Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 337\u2013349. Springer, Heidelberg (2001)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/11531371_53","volume-title":"Web Engineering","author":"H. Baumeister","year":"2005","unstructured":"Baumeister, H., Knapp, A., Koch, N., Zang, G.: Modelling Adaptivity with Aspects. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol.\u00a03579, pp. 406\u2013416. Springer, Heidelberg (2005)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/11531371_54","volume-title":"Web Engineering","author":"S. Ceri","year":"2005","unstructured":"Ceri, S., Daniel, F., Demald\u00e9, V., Facca, F.M.: An Approach to User-Behavior-Aware Web Applications. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol.\u00a03579, pp. 417\u2013428. Springer, Heidelberg (2005)"},{"key":"13_CR4","volume-title":"Building Web Applications with UML","author":"J. Conallen","year":"2002","unstructured":"Conallen, J.: Building Web Applications with UML. Addison-Wesley, Reading (2002)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.jcss.2006.10.006","volume":"73","author":"A. Deutsch","year":"2007","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven Web applications. Journal of Computer and System Sciences\u00a073, 442\u2013474 (2007)","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Han, M., Hofmeister, C.: Modeling and Verification of Adaptive Navigation in Web Applications. In: ICWE 2006, Palo Alto, California, USA, July 11-14, pp. 329\u2013336 (2006)","DOI":"10.1145\/1145581.1145645"},{"key":"13_CR7","unstructured":"Holzmann, G.J.: Basic Spin Manual (1980), \n                    \n                      http:\/\/cm.bell-labs.com\/netlib\/spin\/whatispin.html"},{"key":"13_CR8","unstructured":"Koch, N., Baumeister, H., Hennicker, R., Mandel, L.: Extending UML to Model Navigation and Presentation in Web Applications. In: Workshop on Modelling Web Applications in UML, UML 2000, New York, UK (October 2000)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Ricca, F., Tonella, P.: Analysis and Testing of Web Applications. In: Proc. of 23rd Int. Conference on Software Engineering, Toronto, Ontario, Canada, May 2001, pp. 25\u201334 (2001)","DOI":"10.1109\/ICSE.2001.919078"},{"key":"13_CR10","unstructured":"Rational Software, Pearl Circle Online Auction Reference Application Software Architecture Document, Issue 0.2, Rational Software (2001)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-39929-2_5","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"M. Winckler","year":"2003","unstructured":"Winckler, M., Palanque, P.: Statewebcharts: A Formal Description Technique Dedicated To Navigation Modelling of Web Applications. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, pp. 61\u201376. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02818-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T15:47:28Z","timestamp":1552060048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02818-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028175","9783642028182"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02818-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}