{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:23:45Z","timestamp":1778297025480,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540666530","type":"print"},{"value":"9783540480549","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48054-4_23","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:03:12Z","timestamp":1184605392000},"page":"281-292","source":"Crossref","is-referenced-by-count":4,"title":["Formalizing the Specification of Web Applications"],"prefix":"10.1007","author":[{"given":"D. M.","family":"Germ\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. D.","family":"Cowan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1016\/S0140-3664(96)01148-6","volume":"19","author":"J. P. Courtiat","year":"1996","unstructured":"Courtiat, J. P., Diaz, M., Oliveira, R. D., and Senac, P. Formal Methods for the description of timed behaviors of multimedia and hypermedia distributed systems. Computer Communications 19 (1996), 1134\u20131150.","journal-title":"Computer Communications"},{"key":"23_CR2","series-title":"Lect Notes Comput Sci","first-page":"297","volume-title":"ZUM\u201997: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3\u20134 April 1997","author":"M. Dinverno","year":"1997","unstructured":"D\u2019inverno, M., and Hu, M. J. A Z specification of the soft-link hypertext model. In ZUM\u201997: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3\u20134 April 1997 (1997), J. P. Bowen, M. G. Hinchey, and D. Till, Eds., vol. 1212 of Lecture Notes in Computer Science, Springer-Verlag, pp. 297\u2013316."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Gaedke, M., Rehse, J., and Graef, G. A repository to facilitate reuse in component-based web engineering. In Proceedings of the Web Engineering\u201999 Workshop, (May 1999).","DOI":"10.1145\/338407.338691"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Garzotto, F., Mainetti, L., and Paolini, P.Designing User Interfaces for Hypermedia. Springer Verlag, 1995, ch. Hypermedia Application Design: a structured design.","DOI":"10.1007\/978-3-642-45743-2_2"},{"issue":"8","key":"23_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/208344.208346","volume":"38","author":"T. Isakowitz","year":"1995","unstructured":"Isakowitz, T., Stohr, E. A., and Balasubramanian, P. RMM: A methodology for structured hypermedia design. Communications of the ACM 38,8 (Aug. 1995), 34\u201344.","journal-title":"Communications of the ACM"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Lange, D. An Object-Oriented Design Method for Hypermedia Information Systems. In Proceedings of the 28th Hawaii International Conference on System Sciences (jan 1994).","DOI":"10.1109\/HICSS.1994.323335"},{"key":"23_CR7","unstructured":"Owre, S., Shankar, N., and Rushby, J. M.The PVS Specification Language. Computer Science Laboratory, SRI International, 1995."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Paulo, F. B., Turine, M. A. S., de Oliveira, M. C. F., and Masiero, P. C. XHMBS: A formal model to support hypermedia specification. In Proceedings of the Ninth ACM Conference on Hypertext (1998), Structural Models, pp. 161\u2013170.","DOI":"10.1145\/276627.276645"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Santos, C., Soares, L., G.L. Souza, and Courtiat, J. P. Design Methodology and Formal Validation of Hypermedia Documents. In ACM Multimedia\u201998 (1998), pp. 39\u201348.","DOI":"10.1145\/290747.290753"},{"issue":"8","key":"23_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/208344.208354","volume":"38","author":"D. Schwabe","year":"1995","unstructured":"Schwabe, D., and Rossi, G. The Object-Oriented Hypermedia Design Model. Communications of the ACM 38,8 (Aug. 1995), 45\u201346.","journal-title":"Communications of the ACM"},{"key":"23_CR11","unstructured":"Schwabe, D., and Rossi, G. An Object Oriented Approach to Web-Based Application Design. Unpublished manuscript, 1999."},{"key":"23_CR12","unstructured":"Spivey, J. M.The Z Notation: A Reference Manual, 2nd ed. Prentice Hall International Series in Computer Science, 1992."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Wing, J. M. A specifier\u2019s introduction to formal methods. Compute (1990).","DOI":"10.1109\/2.58215"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48054-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:54:28Z","timestamp":1556682868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48054-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666530","9783540480549"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48054-4_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}