{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:10Z","timestamp":1750308670148,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"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":[[2011,10,12]]},"DOI":"10.1145\/2179298.2179318","type":"proceedings-article","created":{"date-parts":[[2012,4,3]],"date-time":"2012-04-03T17:52:37Z","timestamp":1333475557000},"page":"1-1","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verified workflow-based software development for infrastructure sensing and control applications"],"prefix":"10.1145","author":[{"given":"Douglas A.","family":"Creager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"McHugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,12]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/998688.1007097"},{"volume-title":"Scientific Honeyweller","year":"1985","author":"Boebert W. E.","key":"e_1_3_2_2_2_1"},{"volume-title":"Apache Foundation","year":"2011","author":"Cutting D.","key":"e_1_3_2_2_3_1"},{"volume-title":"The University of Texas","year":"1984","author":"McHugh J.","key":"e_1_3_2_2_5_1"},{"key":"e_1_3_2_2_6_1","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall 2nd edition 2000.   B. Meyer. Object-Oriented Software Construction . Prentice Hall 2nd edition 2000."},{"key":"e_1_3_2_2_7_1","unstructured":"J. P. Morrison. Flow-based programming. CreateSpace 2nd edition 2010.  J. P. Morrison. Flow-based programming . CreateSpace 2nd edition 2010."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1989.40594"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:10"},{"volume-title":"IBM","year":"2009","author":"Rea R.","key":"e_1_3_2_2_10_1"},{"key":"e_1_3_2_2_11_1","unstructured":"United States Department of Defense. Trusted Computer System Evaluation Criteria (TCSEC). DOD 5200.28-STD Library No. S225 7ll. December 1985. http:\/\/www.dtic.mil\/whs\/directives\/ corres\/pdf\/850001p.pdf.  United States Department of Defense. Trusted Computer System Evaluation Criteria (TCSEC). DOD 5200.28-STD Library No. S225 7ll. December 1985. http:\/\/www.dtic.mil\/whs\/directives\/ corres\/pdf\/850001p.pdf."}],"event":{"name":"CSIIRW '11: Cyber Security and Information Intelligence Research Workshop","sponsor":["Eurosis Eurosis","Oak Ridge National Laboratory","University of Tennessee University of Tennessee"],"location":"Oak Ridge Tennessee USA","acronym":"CSIIRW '11"},"container-title":["Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2179298.2179318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2179298.2179318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:41Z","timestamp":1750276841000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2179298.2179318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,12]]},"references-count":10,"alternative-id":["10.1145\/2179298.2179318","10.1145\/2179298"],"URL":"https:\/\/doi.org\/10.1145\/2179298.2179318","relation":{},"subject":[],"published":{"date-parts":[[2011,10,12]]},"assertion":[{"value":"2011-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}