{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T21:47:29Z","timestamp":1759614449498},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118536"},{"type":"electronic","value":"9783319118543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11854-3_53","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T02:09:04Z","timestamp":1409018944000},"page":"603-616","source":"Crossref","is-referenced-by-count":1,"title":["A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)"],"prefix":"10.1007","author":[{"given":"Nada","family":"Olayan","sequence":"first","affiliation":[]},{"given":"Shuichiro","family":"Yamamoto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"53_CR1","first-page":"60","volume":"1","author":"R. Ibrahim","year":"2010","unstructured":"Ibrahim, R., YenYen, S.: A Formal Model for Data Flow Diagram Rules. International Journal of Software Engineering & Applications\u00a01(2), 60\u201369 (2010)","journal-title":"International Journal of Software Engineering & Applications"},{"key":"53_CR2","unstructured":"The Agda Wiki, \n                    \n                      http:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php"},{"key":"53_CR3","unstructured":"Dependability Case Editor with Pattern LibraryYutaka Matsuno, Hiroki Takamura,Yutaka Ishikawa Information Technology Center\/ The University of Tokyo"},{"issue":"1","key":"53_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF02943404","volume":"6","author":"L. Tong","year":"1991","unstructured":"Tong, L., Tang, C.S.: Semantic Specification and Verification of Data Flow Diagrams. Journal of Computer Science and Technology\u00a06(1), 21\u201331 (1991)","journal-title":"Journal of Computer Science and Technology"},{"key":"53_CR5","unstructured":"Yutaka, M., Takai, T., Yamamoto, S.: D- Case Pocket Book Let\u2019s write Dependability Cases! Asset Management Co. Ltd., (2012) ISBN: 978-4-86293-080-4"},{"key":"53_CR6","unstructured":"Bruza, P.D., Van der Weide, T.P.: The Semantics of Data Flow Diagrams. University of Nijmegen (1993)"},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"Olayan, N., Patu, V., Matsuno, Y., Yamamoto, S.: A Dependability Assurance Method Based on Data Flow Diagram (DFD). In: 2013 European Modeling Symposium (EMS), pp. 113\u2013118 (2013)","DOI":"10.1109\/EMS.2013.20"},{"key":"53_CR8","volume-title":"System Analysis and Design","author":"A. Dennis","year":"2008","unstructured":"Dennis, A., Wixom, B.H., Roth, R.M.: System Analysis and Design, 4th edn. John Wiley and sons, USA (2008)","edition":"4"},{"key":"53_CR9","unstructured":"Kelly, T., Weaver, R.: The Goal Structuring Notation - A Safety Argument Notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (July 2004)"}],"container-title":["Communications in Computer and Information Science","Knowledge-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11854-3_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:53:28Z","timestamp":1558965208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11854-3_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118536","9783319118543"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11854-3_53","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}