{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:37:35Z","timestamp":1729676255894,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2001.989837","type":"proceedings-article","created":{"date-parts":[[2005,8,24]],"date-time":"2005-08-24T23:23:34Z","timestamp":1124925814000},"page":"395-399","source":"Crossref","is-referenced-by-count":11,"title":["Amphion\/NAV: deductive synthesis of state estimation software"],"prefix":"10.1109","author":[{"given":"J.","family":"Whittle","sequence":"first","affiliation":[]},{"given":"J.","family":"Van Baalen","sequence":"additional","affiliation":[]},{"given":"J.","family":"Schumann","sequence":"additional","affiliation":[]},{"given":"P.","family":"Robinson","sequence":"additional","affiliation":[]},{"given":"T.","family":"Pressburger","sequence":"additional","affiliation":[]},{"given":"J.","family":"Penix","sequence":"additional","affiliation":[]},{"given":"P.","family":"Oh","sequence":"additional","affiliation":[]},{"given":"M.","family":"Lowry","sequence":"additional","affiliation":[]},{"given":"G.","family":"Brat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"219","article-title":"Application of theorem proving to problem solving","author":"green","year":"1969","journal-title":"Proc IJCAI"},{"journal-title":"Applied Optimal Estimation","year":"1974","author":"gelb","key":"ref3"},{"journal-title":"XSLT Programmer's Reference","year":"2000","author":"kay","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_6"},{"key":"ref8","first-page":"341","article-title":"Deductive composition of astronomical software from subroutine libraries","author":"stickel","year":"1994","journal-title":"Proc CADE-12"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1109\/32.153379","article-title":"Fundamentals of deductive program synthesis","volume":"18","author":"manna","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0349-4_9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732661"},{"journal-title":"Introduction to Random Signals and Applied Kalman Filtering","year":"1997","author":"brown","key":"ref1"}],"event":{"name":"16th Annual International Conference on Automated Software Engineering (ASE 2001)","acronym":"ASE-01","location":"San Diego, CA, USA"},"container-title":["Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7763\/21331\/00989837.pdf?arnumber=989837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T18:54:09Z","timestamp":1497639249000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/989837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ase.2001.989837","relation":{},"subject":[]}}