Notice of RetractionVenn requirement language for user requirement

Formal Methods are very hard subject to student. It offered to second semester for third year Software Engineering student. Students normally feel very difficult to derive formal specification from informal requirement. In this paper, we propose an approach to derive formal specifications from informal requirement using Venn diagram for creating formal specification. We show how to convert the Venn diagram to formal specification which is important part during development of Z schema. Then we do analysis of student result of a group of student. With this approach student will easier to understand the operation of the system during Z schema development.