{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:36:31Z","timestamp":1725748591899},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413650"},{"type":"electronic","value":"9783642413667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41366-7_18","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T02:54:18Z","timestamp":1378868058000},"page":"212-224","source":"Crossref","is-referenced-by-count":2,"title":["Transforming Formal Specification Constructs into Diagrammatic Notations"],"prefix":"10.1007","author":[{"given":"Kobamelo","family":"Moremedi","sequence":"first","affiliation":[]},{"given":"John Andrew","family":"van der Poll","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4757-2920-7","volume-title":"Specification of Software Systems","author":"V.S. Alagar","year":"1998","unstructured":"Alagar, V.S., Periyasamy, K.: Specification of Software Systems, pp. 3\u201314. Springer, New York (1998)"},{"unstructured":"Bowen, J.: Formal Specification and Documentation using Z \u2013 A Case Study Approach, pp. 3\u201311 (2003); C.A.R. Hoare Series Editor","key":"18_CR2"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-540-24595-7_44","volume-title":"Graph Drawing","author":"S. Chow","year":"2004","unstructured":"Chow, S., Ruskey, F.: Drawing Area-Proportional Venn and Euler Diagrams. In: Liotta, G. (ed.) GD 2003. LNCS, vol.\u00a02912, pp. 466\u2013477. Springer, Heidelberg (2004)"},{"key":"18_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-27769-9_5","volume-title":"Conceptual Structures at Work","author":"F. Dau","year":"2004","unstructured":"Dau, F.: Types and Tokens for Logic with Diagrams. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 62\u201393. Springer, Heidelberg (2004)"},{"unstructured":"Delaney, A., Stapleton, G.: On the Descriptional Complexity of a Diagrammatic Notation. In: Proceedings of the 13th International Conference on Distributed Multimedia Systems, September 6-8 (2007)","key":"18_CR5"},{"key":"18_CR6","volume-title":"Z: An Introduction to Formal Methods","author":"A. Diller","year":"1994","unstructured":"Diller, A.: Z: An Introduction to Formal Methods, 2nd edn. Wiley, Chichester (1994)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Gil, J., Howse, J.: Formalizing Spider Diagrams. In: IEEE Symposium on Visual Languages, pp. 130\u2013137 (1999)","key":"18_CR7","DOI":"10.1109\/VL.1999.795884"},{"key":"18_CR8","volume-title":"Specification Case Studies","author":"I. Hayes","year":"1992","unstructured":"Hayes, I.: Specification Case Studies. Prentice Hall International, UK (1992)"},{"doi-asserted-by":"crossref","unstructured":"Howse, J., Molina, F., Taylor, J.: Reasoning with Spider Diagrams. In: IEEE Symposium on Visual Languages, September 13-16, pp. 138\u2013145 (1999)","key":"18_CR9","DOI":"10.1109\/VL.1999.795885"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2008.01.005","volume":"20","author":"J. Howse","year":"2009","unstructured":"Howse, J., Taylor, J., Stapleton, G., Simpson, T.: The Expressiveness of Spider Diagrams Augmented with Constants. Journal of Visual Languages and Computing\u00a020, 30\u201349 (2009)","journal-title":"Journal of Visual Languages and Computing"},{"key":"18_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-540-25931-2_12","volume-title":"Diagrammatic Representation and Inference","author":"J. Howse","year":"2004","unstructured":"Howse, J., Taylor, J., Stapleton, G., Simpson, T.: What Can Spider Diagrams Say? In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 112\u2013127. Springer, Heidelberg (2004)"},{"key":"18_CR12","first-page":"154","volume":"2980","author":"J. Howse","year":"2005","unstructured":"Howse, J., Taylor, J., Stapleton, G.: Spider Diagrams. LMS Journal of Computation and Mathematics\u00a02980, 154\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"unstructured":"Molina, F.: Reasoning with Extended Venn-Pierce Diagrammatic Systems. PhD Thesis, University of Brighton (2001)","key":"18_CR13"},{"key":"18_CR14","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1996","unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z, 2nd edn. Prentice Hall, Upper Saddle River (1996)","edition":"2"},{"key":"18_CR15","first-page":"1","volume":"7","author":"G. Stapleton","year":"2007","unstructured":"Stapleton, G., Rodgers, P., Howse, J., Taylor, J.: Properties of Euler diagrams. Layout of (Software) Engineering Diagrams\u00a07, 1\u201315 (2007)","journal-title":"Layout of (Software) Engineering Diagrams"},{"doi-asserted-by":"crossref","unstructured":"Stapleton, G.: A Survey of Reasoning Systems Based on Euler Diagrams. In: Proceedings of the First International Workshop on Euler Diagrams, Brighton, UK, June 1, vol.\u00a0134, pp. 127\u2013151 (2005)","key":"18_CR16","DOI":"10.1016\/j.entcs.2005.02.022"},{"unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall (1992)","key":"18_CR17"},{"doi-asserted-by":"crossref","unstructured":"Kim, S.-K., Carrington, D.A.: A Formal Mapping between UML Models and Object-Z Specifications. In: ZB Conference, pp. 2\u201321 (2000)","key":"18_CR18","DOI":"10.1007\/3-540-44525-0_2"},{"doi-asserted-by":"crossref","unstructured":"Van der Poll, J.A.: Formal Methods in Software Development: A Road Less Travelled. South African Computer Journal (SACJ)\u00a0(45), 40\u201352 (2010)","key":"18_CR19","DOI":"10.18489\/sacj.v45i0.33"},{"key":"18_CR20","volume-title":"Software Development with Z","author":"J.B. Wordsworth","year":"1992","unstructured":"Wordsworth, J.B.: Software Development with Z. Addison-Wesley, IBM United Kingdom (1992)"},{"unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall (1996)","key":"18_CR21"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41366-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:04:11Z","timestamp":1558055051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41366-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413650","9783642413667"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41366-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}