{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:20Z","timestamp":1750308200826,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,10,10]],"date-time":"2004-10-10T00:00:00Z","timestamp":1097366400000},"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":[[2004,10,10]]},"DOI":"10.1145\/1026533.1026548","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"52-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Exstatic"],"prefix":"10.1145","author":[{"given":"S. N. I.","family":"Mount","sequence":"first","affiliation":[{"name":"Coventry University, Coventry, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Newman","sequence":"additional","affiliation":[{"name":"Coventry University, Coventry, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. J.","family":"Low","sequence":"additional","affiliation":[{"name":"Coventry University, Coventry, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mycroft","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,10,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software Engineering Economics","author":"Boehm B. W.","year":"1981","unstructured":"B. W. Boehm . Software Engineering Economics . Prentice-Hall , 1981 . B. W. Boehm. Software Engineering Economics. Prentice-Hall, 1981."},{"key":"e_1_3_2_1_2_1","volume-title":"The Mythical Man-Month","author":"Brooks F.","year":"1995","unstructured":"F. Brooks . The Mythical Man-Month . Addison-Wesley , 1995 . F. Brooks. The Mythical Man-Month. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_3_1","unstructured":"O. Burn. The Checkstyle project. http:\/\/checkstyle.sourceforge.net\/.  O. Burn. The Checkstyle project. http:\/\/checkstyle.sourceforge.net\/."},{"key":"e_1_3_2_1_4_1","unstructured":"W.W.W. Consortium. http:\/\/validator.w3.org\/.  W.W.W. Consortium. http:\/\/validator.w3.org\/."},{"key":"e_1_3_2_1_6_1","volume-title":"The First International Workshop on Automated Program Analysis, Testing and Verification","author":"Evans D.","year":"2000","unstructured":"D. Evans . Annotation-assisted lightweight static checking . In The First International Workshop on Automated Program Analysis, Testing and Verification , Feb. 2000 . D. Evans. Annotation-assisted lightweight static checking. In The First International Workshop on Automated Program Analysis, Testing and Verification, Feb. 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Splint User's Manual Version 3.0.1","author":"Evans D.","year":"2002","unstructured":"D. Evans and D. Larochelle . Splint User's Manual Version 3.0.1 . University of Virginia , Department of Computer Science, Jan. 2002 . http:\/\/www.splint.org\/manual\/manual.html. D. Evans and D. Larochelle. Splint User's Manual Version 3.0.1. University of Virginia, Department of Computer Science, Jan. 2002. http:\/\/www.splint.org\/manual\/manual.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_3_2_1_9_1","unstructured":"S. M. Inc. How to write doc comments for the javadoc tool. http:\/\/java.sun.com\/j2se\/javadoc\/writingdoccomments\/.  S. M. Inc. How to write doc comments for the javadoc tool. http:\/\/java.sun.com\/j2se\/javadoc\/writingdoccomments\/."},{"key":"e_1_3_2_1_10_1","unstructured":"S. M. Inc. Requirements for writing Java API specifications. http:\/\/java.sun.com\/j2se\/javadoc\/writingapispecs\/index.html.  S. M. Inc. Requirements for writing Java API specifications. http:\/\/java.sun.com\/j2se\/javadoc\/writingapispecs\/index.html."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.2.97"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/584955.584971"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241364"},{"key":"e_1_3_2_1_14_1","volume-title":"Writing Solid Code","author":"Maguire S.","year":"1993","unstructured":"S. Maguire . Writing Solid Code . Microsoft Press , 1993 . S. Maguire. Writing Solid Code. Microsoft Press, 1993."},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Advances in Object-Oriented Software Engineering","author":"Mandrioli D.","year":"1991","unstructured":"D. Mandrioli and B. Meyer , editors . Advances in Object-Oriented Software Engineering , chapter Design by Contract, pages 1 -- 50 . Prentice Hall , 1991 . D. Mandrioli and B. Meyer, editors. Advances in Object-Oriented Software Engineering, chapter Design by Contract, pages 1--50. Prentice Hall, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972741"}],"event":{"name":"SIGDOC04: ACM 22nd Annual International Conference on Documentation 2004","sponsor":["ACM Association for Computing Machinery","SIGDOC ACM Special Interest Group for Design of Communications"],"location":"Memphis Tennessee USA","acronym":"SIGDOC04"},"container-title":["Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1026533.1026548","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1026533.1026548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:25:02Z","timestamp":1750263902000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1026533.1026548"}},"subtitle":["a generic static checker applied to documentation systems"],"short-title":[],"issued":{"date-parts":[[2004,10,10]]},"references-count":15,"alternative-id":["10.1145\/1026533.1026548","10.1145\/1026533"],"URL":"https:\/\/doi.org\/10.1145\/1026533.1026548","relation":{},"subject":[],"published":{"date-parts":[[2004,10,10]]},"assertion":[{"value":"2004-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}