{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:13Z","timestamp":1750307893820,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T00:00:00Z","timestamp":1219017600000},"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":[[2008,8,18]]},"DOI":"10.1145\/1400751.1400854","type":"proceedings-article","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T12:38:39Z","timestamp":1219149519000},"page":"456-456","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Extracting models from design documents with mapster"],"prefix":"10.1145","author":[{"given":"David","family":"James","sequence":"first","affiliation":[{"name":"Palo Alto, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Leonard","sequence":"additional","affiliation":[{"name":"Intel, Hudson, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"O'Leary","sequence":"additional","affiliation":[{"name":"Intel, Hudson, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murali","family":"Talupur","sequence":"additional","affiliation":[{"name":"Intel, Hudson, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark R.","family":"Tuttle","sequence":"additional","affiliation":[{"name":"Intel, Hudson, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022965204416"},{"issue":"1","key":"e_1_3_2_1_2_1","first-page":"19","article-title":"Tools for constructing requirements specifications: The SCR toolset at the age of ten","volume":"20","author":"Heitmeyer C.","year":"2005","unstructured":"C. Heitmeyer , M. Archer , R. Bharadwaj , and R. Jeffords . Tools for constructing requirements specifications: The SCR toolset at the age of ten . International Journal of Computer Systems Science and Engineering , 20 ( 1 ): 19 -- 35 , Jan. 2005 . C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering, 20(1):19--35, Jan. 2005.","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/648251.752211"},{"key":"e_1_3_2_1_4_1","first-page":"270","volume-title":"Proceedings of the IFIP 13th World Computer Congress","author":"Parnas D.","year":"1994","unstructured":"D. Parnas . Inspection of safety-critical software using program function tables . In Proceedings of the IFIP 13th World Computer Congress , pages 270 --- 277 , Aug. 1994 . D. Parnas. Inspection of safety-critical software using program function tables. In Proceedings of the IFIP 13th World Computer Congress, pages 270---277, Aug. 1994."}],"event":{"name":"PODC '08: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Toronto Canada","acronym":"PODC '08"},"container-title":["Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1400751.1400854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1400751.1400854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:24Z","timestamp":1750258044000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1400751.1400854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,18]]},"references-count":4,"alternative-id":["10.1145\/1400751.1400854","10.1145\/1400751"],"URL":"https:\/\/doi.org\/10.1145\/1400751.1400854","relation":{},"subject":[],"published":{"date-parts":[[2008,8,18]]},"assertion":[{"value":"2008-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}