Techniques of Design-Oriented Analysis