User responses to constraints in computerized design tools (extended abstract)
Test and analysis of software architectures