Requirements modeling demands that the knowledge of what should be modeled be available. Acquiring this knowledge or eliciting the necessary requirements ia recognized to be a very hard problem. Different enggestione have been made to alleviate this problem. We examine the application of one such approach, viewpoint resolution, towards the IWSSD library problem. This approach ie baeed on the idea of very early validation. The case study presented help8 justify the claim that early validation is

more »

... a desirable characteristic of the software conetruction process. Four different view8 of the library problem are analyzed by an automated sndyzer, which is capable of identifying problem8 of correctness and completeness in a psir of views. The results obtained, besides showing the benefits of early validstion, show how viewpoint resolution can help very early validation.