{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:06Z","timestamp":1750307286913,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,11]],"date-time":"2011-05-11T00:00:00Z","timestamp":1305072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,11]]},"DOI":"10.1145\/1978582.1978607","type":"proceedings-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:14Z","timestamp":1305637154000},"page":"111-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating degree of systems' dependability with semi-structured assurance case"],"prefix":"10.1145","author":[{"given":"Jin","family":"Nakazawa","sequence":"first","affiliation":[{"name":"Keio University\/JST-CREST, Endo Fujiawa Kanagawa, Japan"}]},{"given":"Yutaka","family":"Matsuno","sequence":"additional","affiliation":[{"name":"The University of Tokyo, Yayoi Bunkyo-ku, Tokyo Japan"}]},{"given":"Hideyuki","family":"Tokuda","sequence":"additional","affiliation":[{"name":"Keio University, Endo Fujisawa, Kanagawa, Japan"}]}],"member":"320","published-online":{"date-parts":[[2011,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_2_1","first-page":"182","volume-title":"Proc. of 21st Int'l System Safety Conference","author":"Bates S.","year":"2003","unstructured":"S. Bates , I. J. Bate , R. D. Hawkins , T. P. Kelly , and J. A. McDermid . Safety case architectures to complement a contract-based approach to designing safe systems . In Proc. of 21st Int'l System Safety Conference , pages 182 -- 192 , 2003 . S. Bates, I. J. Bate, R. D. Hawkins, T. P. Kelly, and J. A. McDermid. Safety case architectures to complement a contract-based approach to designing safe systems. In Proc. of 21st Int'l System Safety Conference, pages 182--192, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217012"},{"key":"e_1_3_2_1_4_1","volume-title":"In International Conference oon Aging, Disability and Independence","author":"Kent S. I.","year":"2003","unstructured":"S. I. Kent , K. Larson , and E. M. Tapia . Designing and evaluating technology for independent aging in the home . In In International Conference oon Aging, Disability and Independence , 2003 . S. I. Kent, K. Larson, and E. M. Tapia. Designing and evaluating technology for independent aging in the home. In In International Conference oon Aging, Disability and Independence, 2003."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/10705432_17","volume-title":"The aware home: A living laboratory for ubiquitous computing research","author":"Kidd C. D.","year":"1999","unstructured":"C. D. Kidd , R. Orr , G. D. Abowd , C. G. Atkeson , I. A. Essa , B. MacIntyre , E. Mynatt , T. E. Starner , and W. Newstetter . The aware home: A living laboratory for ubiquitous computing research . In Lecture Notes in Computer Science , volume 1670\/1999 , pages 191 -- 198 , 1999 . C. D. Kidd, R. Orr, G. D. Abowd, C. G. Atkeson, I. A. Essa, B. MacIntyre, E. Mynatt, T. E. Starner, and W. Newstetter. The aware home: A living laboratory for ubiquitous computing research. In Lecture Notes in Computer Science, volume 1670\/1999, pages 191--198, 1999."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of Tenth International Workshop on Principles of Diagnosis (DX-99)","author":"Kitamura Y.","year":"1999","unstructured":"Y. Kitamura and R. Mizoguchi . An ontological analysis of fault process and category of faults . In Proc. of Tenth International Workshop on Principles of Diagnosis (DX-99) , 1999 . Y. Kitamura and R. Mizoguchi. An ontological analysis of fault process and category of faults. In Proc. of Tenth International Workshop on Principles of Diagnosis (DX-99), 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2005.17"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2010.47"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.26"}],"event":{"name":"EWDC '11: 13th European Workshop on Dependable Computing","acronym":"EWDC '11","location":"Pisa Italy"},"container-title":["Proceedings of the 13th European Workshop on Dependable Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978582.1978607","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1978582.1978607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:37Z","timestamp":1750244377000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978582.1978607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,11]]},"references-count":9,"alternative-id":["10.1145\/1978582.1978607","10.1145\/1978582"],"URL":"https:\/\/doi.org\/10.1145\/1978582.1978607","relation":{},"subject":[],"published":{"date-parts":[[2011,5,11]]},"assertion":[{"value":"2011-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}