{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T04:06:04Z","timestamp":1742184364050,"version":"3.38.0"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1109\/tse.2003.1191797","type":"journal-article","created":{"date-parts":[[2003,4,8]],"date-time":"2003-04-08T20:43:28Z","timestamp":1049834608000},"page":"327-344","source":"Crossref","is-referenced-by-count":6,"title":["Measuring the maintainability of a communication protocol based on its formal specification"],"prefix":"10.1109","volume":"29","author":[{"family":"Sun-Jen Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.7624"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24144"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.295895"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(93)E0045-F"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/69.317699"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360070203"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(85)90023-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(93)90195-F"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.7623"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3403\/00227838u"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90084-5"},{"article-title":"IEEE Standard for a Software Quality Metrics Methodology","volume-title":"IEEE Computer Soc.","year":"1993","key":"ref12"},{"year":"1992","key":"ref13","article-title":"Information TechnologyOpen Systems InterconnectionDistributed Transaction Precessing, Part 3: Protocol Specification"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00095-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)90811-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.303623"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163375"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/tse.1987.233165"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233164"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.231113"},{"volume-title":"Software Engineering Metrics and Models","year":"1986","author":"Conte","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233475"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(80)90076-2"},{"article-title":"Mastering Complexity at Design Level: Application to the Communication Protocols Specification","volume-title":"Proc. Ann. Oregon Workshop Software Metrics (AOWSM)","author":"Raffy","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(97)00008-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19981210)28:14<1465::AID-SPE187>3.0.CO;2-H"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90124-9"},{"key":"ref29","article-title":"NIST Integrated Toolset for Estelle","volume-title":"Formal Description Techniques III","author":"Sijelmassi","year":"1991"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(93)90051-5"},{"key":"ref31","article-title":"The Distributed Implementation Generator: An Overview and User Guide","volume-title":"NCSL\/SNA91\/3","author":"Sijelmassi","year":"1991"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.295895"},{"volume-title":"Software Metrics: A Rigorous and Practical Approach","year":"1996","author":"Fenton","key":"ref33"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/26713\/01191797.pdf?arnumber=1191797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:38:15Z","timestamp":1742099895000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1191797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,4]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1191797","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}