1. What is specification document? Explain the formal methods of developing specification document? 2. a) Give introduction about se case modeling? b) For a library system dra! a use case diagrams that sho!s !hich actor perform !hich use cases and !rite "#" document. $. a) %ifferentials bet!een data oriented and ob&ect oriented design mythologies? b) Give the ob&ected oriented model for the '"G foundation? (. Write a short notes on a) )hallenges in the design phase. b) *esting during ++ ,nalysis.