{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:05:37Z","timestamp":1725469537842},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isorc.2006.25","type":"proceedings-article","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T20:26:01Z","timestamp":1148588761000},"page":"109-116","source":"Crossref","is-referenced-by-count":0,"title":["Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns"],"prefix":"10.1109","author":[{"family":"Jian Liu","sequence":"first","affiliation":[]},{"family":"Jicheng Fu","sequence":"additional","affiliation":[]},{"family":"Yansheng Zhang","sequence":"additional","affiliation":[]},{"given":"F.","family":"Bastani","sequence":"additional","affiliation":[]},{"family":"I-Ling Yen","sequence":"additional","affiliation":[]},{"family":"Ann Tai","sequence":"additional","affiliation":[]},{"family":"Savio Chau","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Meta-Amphion: Scaling up High Assurance Deductive Program Synthesis","author":"roach","year":"1997","journal-title":"Proceedings of the IEEE High Integrity Software Conference"},{"article-title":"A Guide to SNARK","year":"2005","author":"stickel","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317496"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302713"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/352515.352529"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2646-6"},{"key":"ref18","first-page":"330","article-title":"Code Pattern: An Approach for Component-Based Code Synthesis","author":"liu","year":"2003","journal-title":"Proceedings of the World Multiconference on Systemics Cybernetics and Informatics"},{"key":"ref19","article-title":"A Formal Foundation of the Operations on Code Patterns","author":"jian","year":"2005","journal-title":"The International Conference on Software Engineering and Knowledge Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1039813.1039816"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1988.93724"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.153379"},{"key":"ref5","article-title":"The role of ontologies in schema-based program synthesis","author":"bures","year":"2004","journal-title":"Workshop on Ontologies as Software Engineering Artifacts"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58156-1_24","article-title":"Deductive Composition of Astronomical Software from Subroutine Libraries","author":"stickel","year":"1994","journal-title":"Proceedings 12th International Conference on Automated Deduction (CADE-12)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/KBSE.1994.342678"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1998.733579"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2000.884750"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989837"}],"event":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","location":"Gyeongju, Korea"},"container-title":["Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10852\/34193\/01630469.pdf?arnumber=1630469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T00:49:31Z","timestamp":1555634971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1630469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isorc.2006.25","relation":{},"subject":[]}}