{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:19:14Z","timestamp":1725567554323},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650706"},{"type":"electronic","value":"9783540496762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49676-2_7","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T08:46:29Z","timestamp":1286181989000},"page":"81-95","source":"Crossref","is-referenced-by-count":2,"title":["Visualizing Z Notation in HTML Documents"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Ciancarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cecilia","family":"Mascolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Vitali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Intranet Document Management","author":"J. Bannan","year":"1997","unstructured":"Bannan, J.: Intranet Document Management. Addison-Wesley, Reading (1997)"},{"key":"7_CR2","unstructured":"Brien, S., Nicholls, J.: Z Base Standard, Programming Research Group (November 1992)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/ENABL.1997.630800","volume-title":"Proc. 6th IEEE Workshops on Enablings Technologies: Infrastructure for Collaborative Enterprises (WETICE)","author":"P. Ciancarini","year":"1997","unstructured":"Ciancarini, P., Fantini, A., Rossi, D.: A multi-agent process centered environment integrated with the WWW. In: Proc. 6th IEEE Workshops on Enablings Technologies: Infrastructure for Collaborative Enterprises (WETICE), Boston, pp. 113\u2013120. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"1-7","key":"7_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0169-7552(98)00115-9","volume":"30","author":"P. Ciancarini","year":"1998","unstructured":"Ciancarini, P., Rizzi, A., Vitali, F.: An extensible rendering engine for XML and HTML. Computer Networks and ISDN Systems\u00a030(1-7), 225\u2013238 (1998)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"10","key":"7_CR5","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"M. Fraser","year":"1994","unstructured":"Fraser, M., Kumar, K., Vaishnavi, V.: Strategies for Incorporating Formal Specifications in Software Development. Communications of the ACM\u00a037(10), 74\u201386 (1994)","journal-title":"Communications of the ACM"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-60271-2_122","volume-title":"ZUM \u201995: The Z Formal Specification Notation","author":"D. German","year":"1995","unstructured":"German, D., Cowan, D.: Experiments with the Z Interchange Format and SGML. In: Bowen, P.A., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol.\u00a0967, pp. 224\u2013233. Springer, Heidelberg (1995)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-54834-3_48","volume-title":"VDM 1991","author":"D. Jordan","year":"1991","unstructured":"Jordan, D.: CADiZ \u2013 Computer Aided Design in Z. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol.\u00a0551, pp. 685\u2013690. Springer, Heidelberg (1991)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Kaiser, G., Dossick, S., Jiang, W., Yang, J.: An Architecture for WWW-based Hypercode Environments. In: Proc. 19th Int. Conf. on Software Engineering (ICSE 17), Boston, MA, May 1997, pp. 3\u201313 (1997)","DOI":"10.1145\/253228.253231"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/4236.612222","volume":"1","author":"R. Khare","year":"1997","unstructured":"Khare, R., Rifkin, A.: XML: A Door to Automated Web Applications. IEEE Internet Computing\u00a01(4), 78\u201387 (1997)","journal-title":"IEEE Internet Computing"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-58043-3_23","volume-title":"A Decade of Concurrency","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: Verification and Specifications of Concurrent Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 347\u2013374. Springer, Heidelberg (1994)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1007\/BFb0030650","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"L. Mikusiak","year":"1997","unstructured":"Mikusiak, L., Adamy, M., Seidmann, T.: Publishing Formal Specifications in Z notation on the WWW. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 871\u2013874. Springer, Heidelberg (1997)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/3-540-60271-2_142","volume-title":"ZUM 1995: The Z Formal Specification Notation","author":"L. Mikusiak","year":"1995","unstructured":"Mikusiak, L., et al.: A Tool for Visualization of Z Specifications. In: Bowen, P.A., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol.\u00a0967, pp. 510\u2013525. Springer, Heidelberg (1995)"},{"key":"7_CR13","volume-title":"The Art of Electronic Publishing","author":"S. Ressler","year":"1997","unstructured":"Ressler, S.: The Art of Electronic Publishing. Prentice Hall, Englewood Cliffs (1997)"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4236.623967","volume":"1","author":"W. Scacchi","year":"1997","unstructured":"Scacchi, W., Noll, J.: Process-Driven Intranets \u2013 Life Cycle Support for Process reengineering. IEEE Internet Computing\u00a01(5), 42\u201351 (1997)","journal-title":"IEEE Internet Computing"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Sperberg-McQueen, C., Goldstein, R.: HTML to the Max: A Manifesto for Adding SGML Intelligence to the World-Wide Web. In: Proc. 2nd International WWW Conference: Mosaic and the Web (1994) (Electronic proceedings)","DOI":"10.1016\/0169-7552(95)00100-0"},{"key":"7_CR16","unstructured":"Spivey, J.M.: The Z Notation. A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science (1992)"},{"issue":"8-13","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/S0169-7552(97)00011-1","volume":"29","author":"F. Vitali","year":"1997","unstructured":"Vitali, F., Chiu, C., Bieber, M.: Extending HTML in a principled way with displets. Computer Networks and ISDN Systems\u00a029(8-13), 1115\u20131128 (1997)","journal-title":"Computer Networks and ISDN Systems"},{"key":"7_CR18","unstructured":"Jia, X.: ZTC: A Type Checker for Z \u2013 User\u2019s Guide. Institute for Software Engineering, Department of Computer Science and Information Systems, DePaul University, Chicago, IL 60604, USA (1994)"}],"container-title":["Lecture Notes in Computer Science","ZUM \u201998: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49676-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T02:01:14Z","timestamp":1559700074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49676-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650706","9783540496762"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49676-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}