{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:04:37Z","timestamp":1767650677896},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":5536,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1994]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Computational abstraction of engineering design leads to an elegant theory defining (1) the <jats:italic>process<\/jats:italic> of design as an abstract model of computability, the Turing machine; (2) the <jats:italic>artifacts<\/jats:italic> of design as enumerated strings from a (possibly multidimensional) grammar; and (3) design specifications or <jats:italic>constraints<\/jats:italic> as formal state changes that govern string enumeration. Using this theory, it is shown that engineering design is a computable function. A computational methodology based on the theory is then developed that can be described as a <jats:italic>form follows function<\/jats:italic> design paradigm.<\/jats:p>","DOI":"10.1017\/s0890060400000445","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:47:41Z","timestamp":1270043261000},"page":"35-44","source":"Crossref","is-referenced-by-count":10,"title":["Engineering design is a computable function"],"prefix":"10.1017","volume":"8","author":[{"given":"Patrick A.","family":"Fitzhorn","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400000445_ref013","unstructured":"Kim S. (1981). Mathematical foundations of manufacturing science: Theory and implications. Ph.D. Thesis. Massachusetts Institute of Technology, Cambridge, Massachusetts."},{"key":"S0890060400000445_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(73)80049-2"},{"key":"S0890060400000445_ref016","first-page":"189","volume-title":"Design Theory","author":"Longenecker","year":"1989"},{"key":"S0890060400000445_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-6879-2"},{"key":"S0890060400000445_ref023","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0000120"},{"key":"S0890060400000445_ref009","first-page":"405","volume-title":"Basic Questions of Design Theory","author":"Harrison","year":"1974"},{"key":"S0890060400000445_ref012","volume-title":"Third International Workshop on Graph Grammars","author":"Janssens","year":"1986"},{"key":"S0890060400000445_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(75)80051-8"},{"key":"S0890060400000445_ref026","doi-asserted-by":"publisher","DOI":"10.1068\/b070343"},{"key":"S0890060400000445_ref030","first-page":"95","volume-title":"Design Theory for CAD","author":"Tomiyama","year":"1987"},{"key":"S0890060400000445_ref024","doi-asserted-by":"publisher","DOI":"10.1145\/964965.808571"},{"key":"S0890060400000445_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(69)90065-5"},{"key":"S0890060400000445_ref021","volume-title":"Principles of Optimal Design","author":"Papalambros","year":"1988"},{"key":"S0890060400000445_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18771-5_54"},{"key":"S0890060400000445_ref011","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"S0890060400000445_ref003","first-page":"3","volume-title":"The Study of the Design Process: A Workshop","author":"Christakis","year":"1987"},{"key":"S0890060400000445_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(71)80008-7"},{"key":"S0890060400000445_ref018","volume-title":"The Planning and Design Approach","author":"Nadler","year":"1981"},{"key":"S0890060400000445_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(90)90105-L"},{"key":"S0890060400000445_ref007","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400002353"},{"key":"S0890060400000445_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-5753-6"},{"key":"S0890060400000445_ref010","first-page":"131","volume-title":"Design Theory for CAD","author":"Hatvany","year":"1987"},{"key":"S0890060400000445_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025728"},{"key":"S0890060400000445_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0734-189X(84)90129-4"},{"key":"S0890060400000445_ref019","volume-title":"Graph Grammars and their Applications to CS and Biology","author":"Nagl","year":"1979"},{"key":"S0890060400000445_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025730"},{"key":"S0890060400000445_ref022","doi-asserted-by":"publisher","DOI":"10.1145\/356827.356833"},{"key":"S0890060400000445_ref027","first-page":"7","article-title":"Computing with form and meaning in architecture","author":"Stiny","year":"1985","journal-title":"J. Archit."},{"key":"S0890060400000445_ref028","volume-title":"Algorithmic Aesthetics","author":"Stiny","year":"1978"},{"key":"S0890060400000445_ref029","doi-asserted-by":"publisher","DOI":"10.1068\/b080245"},{"key":"S0890060400000445_ref031","volume-title":"Proc. Fourth Ann. Conf. Genetic Algorithms","author":"Whitley","year":"1991"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400000445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:41:00Z","timestamp":1557949260000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400000445\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["S0890060400000445"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400000445","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}