{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:20Z","timestamp":1750308080615,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"76","license":[{"start":{"date-parts":[[1981,4,1]],"date-time":"1981-04-01T00:00:00Z","timestamp":354931200000},"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":["SIGART Bull."],"published-print":{"date-parts":[[1981,4]]},"abstract":"<jats:p>The purpose of this project is to explore the fundamental principles underlying the design and construction of large software systems, and to construct a prototype computer aided design tool to support this activity.<\/jats:p>","DOI":"10.1145\/1056490.1056493","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"14-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Computer aided evolutionary design for software engineering"],"prefix":"10.1145","author":[{"given":"Charles","family":"Rich","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard C.","family":"Waters","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,4]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1109\/TSE.1978.233869"},{"unstructured":"\"Automatic Analysis of the Logical Structure of Programs\" MIT\/AI\/TR-492 Waters (Ph.D. Thesis) December 1978.  \"Automatic Analysis of the Logical Structure of Programs\" MIT\/AI\/TR-492 Waters (Ph.D. Thesis) December 1978.","key":"e_1_2_1_2_1"},{"unstructured":"\"Computer Aided Evolutionary Design for Software Engineering\" MIT\/AIM-506 Rich Shrobe &amp;Waters (NSF Proposal) January 1979.  \"Computer Aided Evolutionary Design for Software Engineering\" MIT\/AIM-506 Rich Shrobe &amp;Waters (NSF Proposal) January 1979.","key":"e_1_2_1_3_1"},{"unstructured":"\"A Hypothetical Monolog Illustrating the Knowledge Underlying Program Analysis\" MIT\/AIM-507 Shrobe Waters &amp;Sussman (Appendix to NSF Proposal) January 1979.  \"A Hypothetical Monolog Illustrating the Knowledge Underlying Program Analysis\" MIT\/AIM-507 Shrobe Waters &amp;Sussman (Appendix to NSF Proposal) January 1979.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","volume-title":"Proc. of 4th Intl. Conf. on Automated Deduction","author":"Explicit Control","year":"1979","unstructured":"\" Explicit Control of Reasoning in the Programmer's Apprentice \", Proc. of 4th Intl. Conf. on Automated Deduction , Shrobe , February 1979 . \"Explicit Control of Reasoning in the Programmer's Apprentice\", Proc. of 4th Intl. Conf. on Automated Deduction, Shrobe, February 1979."},{"unstructured":"\"Dependency Directed Reasoning for Complex Program Understanding\" MIT\/AI\/TR-503 Shrobe (Ph.D. Thesis) April 1979.  \"Dependency Directed Reasoning for Complex Program Understanding\" MIT\/AI\/TR-503 Shrobe (Ph.D. Thesis) April 1979.","key":"e_1_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1109\/TSE.1979.234185"},{"unstructured":"\"Semiautomatic Translation of COBOL into HIBOL\" G.G. Faust (Master's thesis proposal) January 1980.  \"Semiautomatic Translation of COBOL into HIBOL\" G.G. Faust (Master's thesis proposal) January 1980.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","volume-title":"MIT\/AI\/WP-202, D.G. Shapiro, (Master's thesis proposal)","author":"Sniffer","year":"1980","unstructured":"\" Sniffer : a System that Understands Bugs \", MIT\/AI\/WP-202, D.G. Shapiro, (Master's thesis proposal) , July 1980 . \"Sniffer: a System that Understands Bugs\", MIT\/AI\/WP-202, D.G. Shapiro, (Master's thesis proposal), July 1980."},{"unstructured":"\"Formalizing the Expertise of the Assembler Language Programmer\" MIT\/AI\/WP-203 R.D. Duffey II (masters thesis proposal) September 1980.  \"Formalizing the Expertise of the Assembler Language Programmer\" MIT\/AI\/WP-203 R.D. Duffey II (masters thesis proposal) September 1980.","key":"e_1_2_1_10_1"},{"unstructured":"\"Inspection Methods in Programming\" MIT\/AI\/TR-604 Rich (Ph.D. thesis) (to appear).  \"Inspection Methods in Programming\" MIT\/AI\/TR-604 Rich (Ph.D. thesis) (to appear).","key":"e_1_2_1_11_1"},{"unstructured":"\"A Step Towards Automatic Documentation\" MIT\/AI\/WP-213 C. Frank December 1980.  \"A Step Towards Automatic Documentation\" MIT\/AI\/WP-213 C. Frank December 1980.","key":"e_1_2_1_12_1"}],"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056490.1056493","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056490.1056493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:41Z","timestamp":1750262861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056490.1056493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,4]]},"references-count":12,"journal-issue":{"issue":"76","published-print":{"date-parts":[[1981,4]]}},"alternative-id":["10.1145\/1056490.1056493"],"URL":"https:\/\/doi.org\/10.1145\/1056490.1056493","relation":{},"ISSN":["0163-5719"],"issn-type":[{"type":"print","value":"0163-5719"}],"subject":[],"published":{"date-parts":[[1981,4]]},"assertion":[{"value":"1981-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}