{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:33Z","timestamp":1725586773188},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_13","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:33:16Z","timestamp":1308367996000},"page":"149-153","source":"Crossref","is-referenced-by-count":5,"title":["Building VCL Models and Automatically Generating Z Specifications from Them"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Am\u00e1lio","sequence":"first","affiliation":[]},{"given":"Christian","family":"Glodt","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011, 65\u201399 (1987)","journal-title":"Cognitive Science"},{"issue":"35","key":"13_CR2","first-page":"756","volume":"6","author":"D.L. Moody","year":"2009","unstructured":"Moody, D.L.: The \u201cphysics\u201d of notations: Toward a scientific basis for constructing visual notations in software engineering. IEEE TSE\u00a06(35), 756\u2013779 (2009)","journal-title":"IEEE TSE"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Dept. Computer Science, Univ. of York (2007)","DOI":"10.1016\/j.entcs.2007.09.002"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N., Kelsen, P.: Modular design by contract visually and formally using VCL. In: VL\/HCC 2010 (2010)","DOI":"10.1109\/VLHCC.2010.39"},{"key":"13_CR5","first-page":"151","volume":"VII","author":"N. Am\u00e1lio","year":"2010","unstructured":"Am\u00e1lio, N., Kelsen, P., Ma, Q., Glodt, C.: Using VCL as an aspect-oriented approach to requirements modelling. TAOSD\u00a0VII, 151\u2013199 (2010)","journal-title":"TAOSD"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11415787_16","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"N. Am\u00e1lio","year":"2005","unstructured":"Am\u00e1lio, N., Polack, F., Stepney, S.: An object-oriented structuring for Z based on views. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 262\u2013278. Springer, Heidelberg (2005)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","first-page":"139","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"A. Hall","year":"2002","unstructured":"Hall, A.: Correctness by construction: Integrating formality into a commercial development process. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 139\u2013157. Springer, Heidelberg (2002)"},{"key":"13_CR8","first-page":"211","volume":"263","author":"J. Williams","year":"2010","unstructured":"Williams, J., Polack, F.: Automated formalisation for verification of diagrammatic models. ENTCS\u00a0263, 211\u2013226 (2010)","journal-title":"ENTCS"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flowe, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45441-1_20","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"P. Bottoni","year":"2001","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A visualization of OCL using collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 257\u2013271. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T20:07:07Z","timestamp":1560283627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}