system search techniques / large systems / evolutionary software systems / integrated software development environment / integration-test management / large software systems / software interconnections / software development environment / software development environments / elegant formal systems / verification technology / software development / software systems / integrated software development enviroment / energy / /