{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:36:43Z","timestamp":1725910603911},"publisher-location":"Singapore","reference-count":13,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811063848"},{"type":"electronic","value":"9789811063855"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-981-10-6385-5_55","type":"book-chapter","created":{"date-parts":[[2017,9,15]],"date-time":"2017-09-15T10:03:52Z","timestamp":1505469832000},"page":"660-673","source":"Crossref","is-referenced-by-count":0,"title":["DFDVis: A Visual Analytics System for Understanding the Semantics of Data Flow Diagram"],"prefix":"10.1007","author":[{"given":"Hao","family":"Xiong","sequence":"first","affiliation":[]},{"given":"Haocheng","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Xiaoju","family":"Dong","sequence":"additional","affiliation":[]},{"given":"Lingxi","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Wenyang","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,16]]},"reference":[{"issue":"6","key":"55_CR1","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1007\/BF03259387","volume":"6","author":"PG Larsen","year":"1994","unstructured":"Larsen, P.G., Plat, N., Toetenel, H.: A formal semantics of data flow diagrams. Form. Asp. Comput. 6(6), 586\u2013606 (1994)","journal-title":"Form. Asp. Comput."},{"key":"55_CR2","unstructured":"Abadi, M., Agarwal, A., Barham, P., Brevdo, E., Chen, Z., Citro, C., Corrado, G.S., Davis, A., Dean, J., Devin, M., et al.: Tensorflow: large-scale machine learning on heterogeneous distributed systems. arXiv preprint \narXiv:1603.04467\n\n (2016)"},{"key":"55_CR3","unstructured":"Bruza, P.D., Van der Weide, T.: The semantics of data flow diagrams. Faculty of Mathematics and Informatics, Department of Informatics, University of Nijmegen (1989)"},{"key":"55_CR4","doi-asserted-by":"crossref","unstructured":"Jilani, A.A.A., Nadeem, A., Kim, T.H., Cho, E.S.: Formal representations of the data flow diagram: a survey. In: Advanced Software Engineering and Its Applications, ASEA 2008, pp. 153\u2013158. IEEE (2008)","DOI":"10.1109\/ASEA.2008.34"},{"key":"55_CR5","unstructured":"Milner, R.: A calculus of communicating systems. Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh (1986)"},{"key":"55_CR6","doi-asserted-by":"crossref","unstructured":"Butler, G., Grogono, P., Shinghal, R., Tjandra, I.: Retrieving information from data flow diagrams. In: Proceedings of 2nd Working Conference on Reverse Engineering, pp. 22\u201329. IEEE (1995)","DOI":"10.1109\/WCRE.1995.514690"},{"issue":"3","key":"55_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"55_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 429\u2013528. Springer, Heidelberg (1998). doi:\n10.1007\/3-540-65306-6_21"},{"key":"55_CR9","unstructured":"Cava, R.A., Luzzardi, P.R., Freitas, C.: The bifocal tree: a technique for the visualization of hierarchical information structures. In: Workshop on Human Factors in Computer Systems (IHC 2002) (2002)"},{"key":"55_CR10","unstructured":"Stevens, P., Moller, F.: The Edinburgh concurrency workbench user manual (version 7.1). Laboratory for Foundations of Computer Science, University of Edinburgh 7 (1999)"},{"key":"55_CR11","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-81-322-2755-7_56","volume-title":"Information Systems Design and Intelligent Applications","author":"L Allal","year":"2016","unstructured":"Allal, L., Belalem, G., Dhaussy, P.: Towards distributed solution to the state explosion problem. In: Satapathy, S.C., Mandal, J.K., Udgata, Siba K., Bhateja, V. (eds.) Information Systems Design and Intelligent Applications. AISC, vol. 433, pp. 541\u2013550. Springer, New Delhi (2016). doi:\n10.1007\/978-81-322-2755-7_56"},{"issue":"1","key":"55_CR12","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/102377.115768","volume":"11","author":"B Shneiderman","year":"1992","unstructured":"Shneiderman, B.: Tree visualization with tree-maps: 2-D space-filling approach. ACM Trans. Graph. (TOG) 11(1), 92\u201399 (1992)","journal-title":"ACM Trans. Graph. (TOG)"},{"issue":"5","key":"55_CR13","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF01212487","volume":"5","author":"G Brebner","year":"1993","unstructured":"Brebner, G.: A CCS-based investigation of deadlock in a multi-process electronic mail system. Form. Asp. Comput. 5(5), 467\u2013479 (1993)","journal-title":"Form. Asp. Comput."}],"container-title":["Communications in Computer and Information Science","Data Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-6385-5_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,15]],"date-time":"2017-09-15T10:20:14Z","timestamp":1505470814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-6385-5_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811063848","9789811063855"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-6385-5_55","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}