{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:33:03Z","timestamp":1725687183709},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201239","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"570-577","source":"Crossref","is-referenced-by-count":5,"title":["An analysis of the fault correction process in a large-scale SDL production model"],"prefix":"10.1109","author":[{"given":"D.","family":"Zage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Zage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/52.219620"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450228-5\/50020-5"},{"key":"16","article-title":"Applying design metrics to a large-scale software system","author":"zage","year":"0","journal-title":"Proceedings of the Ninth International Symposium on Software Reliability Engineering (ISSRE '98) Paderborn Germany November 1998"},{"journal-title":"SDT Reference Manual","year":"1996","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(20001125)30:14<1587::AID-SPE352>3.0.CO;2-1"},{"article-title":"A survey of software fault surveys","year":"1990","author":"marick","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808446"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346023"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674590"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"article-title":"Spezifikation, Simulation und Implementierung eines Sicherungsprotokolls mit SDL","year":"1995","author":"kellerer","key":"10"},{"journal-title":"SDL-Formal Object-Oriented Language for Communication Systems","year":"1997","author":"ellsberger","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753490"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1996.492454"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226313"},{"year":"1996","key":"9","article-title":"Specification and description language (SDL)"},{"year":"1999","key":"8","article-title":"ITU adopts new releases of SDL and MSC specification and description languages"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","start":{"date-parts":[[2003,5,10]]},"location":"Portland, OR, USA","end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201239.pdf?arnumber=1201239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:41:58Z","timestamp":1489455718000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201239\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201239","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}