No CrossRef data available.
Published online by Cambridge University Press: 27 February 2009
Science has developed detailed and well-founded theories for analyzing the behavior of artifacts. For example, Boeing was able to correctly verify an entirely new airplane, the Boeing 777, before any prototype was even built. However, there are few theories, and no computer systems, that would allow us to design structures with a similar degree of automation.