{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:12Z","timestamp":1772164032134,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"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,11,6]]},"DOI":"10.1145\/2070337.2070360","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:55:03Z","timestamp":1321887303000},"page":"69-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving quality of Ada software with range analysis"],"prefix":"10.1145","author":[{"given":"Jay","family":"Abraham","sequence":"first","affiliation":[{"name":"MathWorks, Natick, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Chapple","sequence":"additional","affiliation":[{"name":"MathWorks, Natick, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyril","family":"Preve","sequence":"additional","affiliation":[{"name":"MathWorks, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Boeing Faces Pretty Tight 787 Delivery Schedule. Aviation Week","author":"Mecham M.","year":"2007","unstructured":"Mecham , M. 2007. Boeing Faces Pretty Tight 787 Delivery Schedule. Aviation Week . 9 September 2007 . Mecham, M. 2007. Boeing Faces Pretty Tight 787 Delivery Schedule. Aviation Week. 9 September 2007."},{"key":"e_1_3_2_1_2_1","volume-title":"F-22 Raptor: America's Next Lethal War Machine","author":"Pace S.","unstructured":"Pace , S. 1999. F-22 Raptor: America's Next Lethal War Machine . Mcgraw-Hill . Pace, S. 1999. F-22 Raptor: America's Next Lethal War Machine. Mcgraw-Hill."},{"key":"e_1_3_2_1_3_1","unstructured":"Goebel G. 2001. The Lockheed Martin F-35 Joint Strike Fighter (JSF). http:\/\/www.vectorsite.net\/avf35.html.  Goebel G. 2001. The Lockheed Martin F-35 Joint Strike Fighter (JSF). http:\/\/www.vectorsite.net\/avf35.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Zemskyy D. Safety and Reliability Considerations in DO-178B.  Zemskyy D. Safety and Reliability Considerations in DO-178B."},{"key":"e_1_3_2_1_5_1","unstructured":"Pan J. 1999. Dependable Embedded Systems. Software Testing.  Pan J. 1999. Dependable Embedded Systems. Software Testing."},{"key":"e_1_3_2_1_6_1","unstructured":"Reihle R. \"Can Software Be Safe?-An Ada Viewpoint\". Embedded Systems Programming.  Reihle R. \"Can Software Be Safe?-An Ada Viewpoint\". Embedded Systems Programming."},{"key":"e_1_3_2_1_7_1","unstructured":"Feldman M. Who is using Ada. http:\/\/www.seas.gwu.edu\/~mfeldman\/ada-project-summary.html.  Feldman M. Who is using Ada. http:\/\/www.seas.gwu.edu\/~mfeldman\/ada-project-summary.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646448.692441"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234740"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Cousot P. Cousot R. 2001. Abstract Interpretation Based Formal Methods and Future Challenges. Informatics. 10 Years Back. 10 Years Ahead .   Cousot P. Cousot R. 2001. Abstract Interpretation Based Formal Methods and Future Challenges. Informatics. 10 Years Back. 10 Years Ahead .","DOI":"10.1007\/3-540-44577-3_10"},{"key":"e_1_3_2_1_13_1","unstructured":"Deutsch A. 2003. Static Verification of Dynamic Properties. SIGAda.  Deutsch A. 2003. Static Verification of Dynamic Properties. SIGAda."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_20"},{"key":"e_1_3_2_1_15_1","unstructured":"DAEDALUS. 2011. http:\/\/www.di.ens.fr\/~cousot\/projects\/DAEDALUS.  DAEDALUS. 2011. http:\/\/www.di.ens.fr\/~cousot\/projects\/DAEDALUS."},{"key":"e_1_3_2_1_16_1","volume-title":"JULIA: A Generic Static Analyser for the Java Bytecode.","author":"Spoto A.","year":"1982","unstructured":"Spoto A. 1982 . JULIA: A Generic Static Analyser for the Java Bytecode. Spoto A. 1982. JULIA: A Generic Static Analyser for the Java Bytecode."},{"key":"e_1_3_2_1_17_1","unstructured":"Polyspace. 2011. http:\/\/www.mathworks.com\/products\/polyspace.  Polyspace. 2011. http:\/\/www.mathworks.com\/products\/polyspace."}],"event":{"name":"SIGAda '11: ACM SIGAda Annual International Conference","location":"Denver Colorado USA","acronym":"SIGAda '11","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2070337.2070360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":17,"alternative-id":["10.1145\/2070337.2070360","10.1145\/2070337"],"URL":"https:\/\/doi.org\/10.1145\/2070337.2070360","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2070336.2070360","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,11,6]]},"assertion":[{"value":"2011-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}