{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:47:30Z","timestamp":1725630450467},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/icicis.2010.5534760","type":"proceedings-article","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T22:13:25Z","timestamp":1281392005000},"page":"577-582","source":"Crossref","is-referenced-by-count":2,"title":["Verification of a dependability model of IT services associated with social and economic infrastructure"],"prefix":"10.1109","author":[{"given":"Hiroshi","family":"Ohtaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichiro","family":"Oshika","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masashi","family":"Gotou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Yoshitani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Fukazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Achieving ISO\/IEC 20000-The Differences Between BS 15000 and ISO\/IEC 20000","author":"jenny","year":"2006","journal-title":"BSI Standards"},{"journal-title":"IPA\/SEC","article-title":"Report of Research Committee of Information Systems for Critical Social Infrastructures","year":"2009","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241363"},{"key":"ref13","first-page":"56","article-title":"Operation Field Working Hard. Look at Their Energy","author":"owada","year":"2009","journal-title":"Nikkei Computer Tokyo Nikkei BP (in Japanese)"},{"journal-title":"Geneve ISO\/IEC","article-title":"Software Engineering-Product Quality-Part2: External Metrics","year":"2003","key":"ref14"},{"journal-title":"Tokyo JAS","article-title":"Quality of Software Products-Chapter 1 Quality Model JISX 0129-1:2003(ISO\/IEC 9126-1:2001)","year":"2003","key":"ref15"},{"key":"ref16","first-page":"115","article-title":"Report of UVC (User Vendor Collaboration) Research Project-Guidelines for Definition of Non-functional Requirement-","year":"2008","journal-title":"JUAS"},{"key":"ref17","first-page":"2","article-title":"Dependable Computing and Fault Tolerance: Concepts and Terminology","author":"laprie","year":"1985","journal-title":"FTCS-15"},{"key":"ref18","article-title":"Fault Tolerant Computer","author":"nanya","year":"1991","journal-title":"Ohmsha"},{"key":"ref19","article-title":"Study on Improvement of Dependability of IT Services for Social and Economic Infrastructures","author":"ohtaka","year":"2009","journal-title":"Proceedings of APIEMS"},{"key":"ref4","article-title":"Visualization of IT Project-MIERUKA-","author":"ohtaka","year":"2008","journal-title":"Proceedings of ProMac"},{"article-title":"CMMI: Guidelines for Process Integration and Product Improvement","year":"2003","author":"chrissis","key":"ref3"},{"key":"ref6","article-title":"ITIL Service Design","author":"lloyd","year":"2007","journal-title":"The Stationery Office"},{"key":"ref5","article-title":"ITIL Service Strategy","author":"iqbal","year":"2007","journal-title":"The Stationery Office"},{"key":"ref8","article-title":"ITIL Service Operation","author":"cannon","year":"2007","journal-title":"The Stationery Office"},{"key":"ref7","article-title":"ITIL Service Transition","author":"lacy","year":"2007","journal-title":"The Stationery Office"},{"year":"2008","key":"ref2","article-title":"A Guide to the Project Management of Knowledge (PMBOK)(4th ed.)"},{"article-title":"Software Testing and Continuous Quality Improvement","year":"2008","author":"lewis","key":"ref1"},{"key":"ref9","article-title":"ITIL Continual Service Improvement","author":"spalding","year":"2007","journal-title":"The Stationery Office"}],"event":{"name":"2010 3rd International Conference on Information Sciences and Interaction Sciences (ICIS)","start":{"date-parts":[[2010,6,23]]},"location":"Chengdu, China","end":{"date-parts":[[2010,6,25]]}},"container-title":["The 3rd International Conference on Information Sciences and Interaction Sciences"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5510903\/5534673\/05534760.pdf?arnumber=5534760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T21:18:27Z","timestamp":1489871907000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5534760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icicis.2010.5534760","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}