Kumar, Bharath M (Indian Institute of Science, 2005-02-16)
Precise specification of the architecture and design of software is a good practice. Such
specifications contain a lot of information about the software that can potentially be exploited by
tools, to reduce redundancy ...