{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:59Z","timestamp":1750306319075,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,2,18]],"date-time":"2016-02-18T00:00:00Z","timestamp":1455753600000},"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":[[2016,2,18]]},"DOI":"10.1145\/2856636.2856663","type":"proceedings-article","created":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T20:06:43Z","timestamp":1454357203000},"page":"201-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reliability by Construction using Design by Contract Methodology"],"prefix":"10.1145","author":[{"given":"PVR","family":"Murthy","sequence":"first","affiliation":[{"name":"M.S.Ramaiah University of Applied Sciences, Bangalore, +91 9845568042"}]}],"member":"320","published-online":{"date-parts":[[2016,2,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.296"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Kourie D.G. Watson B.W. \"The Correctness-by-Construction Approach to Programming \" Springer 2012.   Kourie D.G. Watson B.W. \"The Correctness-by-Construction Approach to Programming \" Springer 2012.","DOI":"10.1007\/978-3-642-27919-5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Yamada S. Software Reliability Modeling Fundamentals and Applications Springer 2014.   Yamada S. Software Reliability Modeling Fundamentals and Applications Springer 2014.","DOI":"10.1007\/978-4-431-54565-1"},{"key":"e_1_3_2_1_5_1","unstructured":"\"Eiffel Software \" https:\/\/www.eiffel.com\/.  \"Eiffel Software \" https:\/\/www.eiffel.com\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Hoare C.A.R. Communicating Sequential Processes Prentice Hall International 2004.  Hoare C.A.R. Communicating Sequential Processes Prentice Hall International 2004."},{"key":"e_1_3_2_1_7_1","unstructured":"\"Defensive Programming \" https:\/\/en.wikipedia.org\/wiki\/Defensive_programming.  \"Defensive Programming \" https:\/\/en.wikipedia.org\/wiki\/Defensive_programming."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Gries D. The Science of Programming Springer 1981.  Gries D. The Science of Programming Springer 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"issue":"2","key":"e_1_3_2_1_10_1","article-title":"Reliability vs Safety","volume":"30","author":"Editorials","year":"1981","journal-title":"IEEE Transactions on Reliability"}],"event":{"name":"ISEC '16: 9th India Software Engineering Conference","sponsor":["iSOFT iSOFT","ACM India ACM India"],"location":"Goa India","acronym":"ISEC '16"},"container-title":["Proceedings of the 9th India Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2856636.2856663","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2856636.2856663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:13Z","timestamp":1750222453000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2856636.2856663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,18]]},"references-count":10,"alternative-id":["10.1145\/2856636.2856663","10.1145\/2856636"],"URL":"https:\/\/doi.org\/10.1145\/2856636.2856663","relation":{},"subject":[],"published":{"date-parts":[[2016,2,18]]},"assertion":[{"value":"2016-02-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}