{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:42Z","timestamp":1725551742563},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_33","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"480-494","source":"Crossref","is-referenced-by-count":0,"title":["SVG Web Environment for Z Specification Language"],"prefix":"10.1007","author":[{"given":"Jing","family":"Sun","sequence":"first","affiliation":[]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Sasanka","family":"Athauda","sequence":"additional","affiliation":[]},{"given":"Tazkiya","family":"Sheik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"From Wikipedia (The Free Encyclopedia), Available at http:\/\/en.wikipedia.org\/wiki\/Formal_methods"},{"key":"33_CR2","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J. Spivey","year":"1992","unstructured":"Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"33_CR3","volume-title":"The IEEE International Conference on Formal Engineering Methods (ICFEM 1997)","author":"K. Futatsugi","year":"1997","unstructured":"Futatsugi, K., Nakagawa, A.: An Overview of CAFE Specification Environment. In: Hinchey, M., Liu, S. (eds.) The IEEE International Conference on Formal Engineering Methods (ICFEM 1997), Hiroshima, Japan. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Chippington, D.: Z on the Web using Java. [15] 66\u201380","DOI":"10.1007\/BFb0056026"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., Mascolo, C., Vitali, F.: Visualizing Z notation in HTML documents. [15] 81\u201395","DOI":"10.1007\/BFb0056027"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1145\/371920.372189","volume-title":"WWW-10: 10th International World Wide Web Conference","author":"J. Sun","year":"2001","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H.: Object-Z Web Environment and Projections to UML. In: WWW-10: 10th International World Wide Web Conference, pp. 725\u2013734. ACM Press, New York (2001)"},{"key":"33_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-44880-2_26","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Utting","year":"2003","unstructured":"Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N., Currie, D.: ZML: XML Support for Standard Z. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 437\u2013456. Springer, Heidelberg (2003)"},{"key":"33_CR8","unstructured":"Developed by members of the Z Standards Panel, Project Editor: Toyn, I.: Z Notation: Final Committee Draft, CD 13568.2 (1999), Available at http:\/\/www.cs.york.ac.uk\/~ian\/zstan\/"},{"key":"33_CR9","unstructured":"World Wide Web Consortium (W3C) (Scalable Vector Graphics (SVG), Available at http:\/\/www.w3.org\/Graphics\/SVG\/"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1049\/sej.1989.0045","volume":"4","author":"I. Hayes","year":"1989","unstructured":"Hayes, I., Jones, C.: Specifications are not (necessarily) executable. Software Eng. Journal\u00a04, 330\u2013339 (1989)","journal-title":"Software Eng. Journal"},{"key":"33_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-36103-0_33","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2002","unstructured":"Dong, J.S., Li, Y.F., Sun, J., Sun, J., Wang, H.: XML-based static type checking and dynamic visualization for TCOZ. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 311\u2013322. Springer, Heidelberg (2002)"},{"key":"33_CR12","first-page":"453","volume-title":"The 8th Asia-Pacific Software Engineering Conference (APSEC 2001)","author":"J. Sun","year":"2001","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H.: A XML\/XSL Approach to Visualize and Animate TCOZ. In: The 8th Asia-Pacific Software Engineering Conference (APSEC 2001), pp. 453\u2013460. IEEE Press, Los Alamitos (2001)"},{"key":"33_CR13","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Mahony, B., Dong, J.S.: Timed Communicating Object Z. IEEE Transactions on Software Engineering\u00a026 (2000)","DOI":"10.1109\/32.841115"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-49676-2_3","volume-title":"ZUM 1998: The Z Formal Specification Notation","year":"1998","unstructured":"Bowen, J.P., Fett, A., Hinchey, M.G. (eds.): ZUM 1998: The Z Formal Specification Notation. LNCS, vol.\u00a01493, pp. 24\u201326. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:36Z","timestamp":1605643176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11576280_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}