With the integration of computing and communication into the very fabric of our social, economic, and personal existence, the manner in which we think about and build software has become the subject of intense intellectual, scienti?c, and engineering reexamination.