Evolutionary Design of Complex Software; DARPA ITO Research - Also see, as part of this, the research pro-
ject by Dr. Debra Richardson, University
of California, Irvine, "A Formal Architecture- Based Approach to Software Integration Testing," at URL
http://www.ics.uci.edu/~djr/edcs/FAAST.html