Specification and Analysis for Requirements Tool