Structured Specifying: Techniques and Applications