{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:51Z","timestamp":1725467391200},"publisher-location":"Boston","reference-count":6,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402077769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23484-5_10","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T09:56:37Z","timestamp":1153130197000},"page":"103-112","source":"Crossref","is-referenced-by-count":0,"title":["Tool support for detecting defects in object-oriented models"],"prefix":"10.1007","author":[{"given":"Janusz","family":"G\u00f3rski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksander","family":"Jarz\u0119bowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafa\u0142","family":"Leszczyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Miler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Olszewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"DRug In Virtual Enterprise, EUIST-DRIVE 1999-12040 research project, http:\/\/www.e-mathesis.it\/Drive."},{"key":"10_CR2","unstructured":"G\u00f3rski J., Jarz\u0119bowicz A., \u2018Detecting defects in object-oriented diagrams using UML-HAZOP\u2019, Foundations of Computing and Decision Sciences, vol. 27 (2002) no. 4."},{"key":"10_CR3","unstructured":"HAZOP Studies on Systems Containing Programmable Electronics, MoD Defence Standard 00-58, issue 2, 2000."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Venkatasurbramanian V., Zhao J., Viswanathan S., \u2018Intelligent systems for HAZOP analysis of complex process plants\u2019, Computers and chemical engineering 24 (2000).","DOI":"10.1016\/S0098-1354(00)00573-1"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Winther R., Johnsen O., Gran B., \u2018Security assessments of safety critical systems using HAZOPs\u2019, Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP 2001, Springer Lecture Notes in Computer Science 2187.","DOI":"10.1007\/3-540-45416-0_2"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"G\u00f3rski J., Jarz\u0119bowicz A, Leszczyna R, Miler J., Olszewski M., \u2018An approach to trust case development\u2019, Proc. SAFECOMP 2003, Edinbourgh, UK, 2003","DOI":"10.1007\/978-3-540-39878-3_16"}],"container-title":["Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23484-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:42:59Z","timestamp":1619498579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23484-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402077769"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/0-387-23484-5_10","relation":{},"subject":[]}}