DocumentCode
2583677
Title
Notice of Retraction
Venn requirement language for user requirement
Author
Roslina, M.S. ; Noraziah, A.
Author_Institution
Fac. of Comput. Syst. & Software Eng., Univ. Malaysia Pahang, Kuantan, Malaysia
fYear
2010
fDate
7-10 May 2010
Firstpage
223
Lastpage
227
Abstract
Notice of Retraction
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
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.
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
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.
Keywords
Unified Modeling Language; computer science education; formal specification; software metrics; UML class diagram; Venn requirement language diagram; Z schema development; formal methods; formal specification; software complexity systems; software engineering student; Automatic logic units; Computer science; Contracts; Formal specifications; Prototypes; Software engineering; Software systems; Unified modeling language; Visualization; Venn diagram; Z schema; formal specification; informal requirement;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronic Computer Technology (ICECT), 2010 International Conference on
Conference_Location
Kuala Lumpur
Print_ISBN
978-1-4244-7404-2
Type
conf
DOI
10.1109/ICECTECH.2010.5479954
Filename
5479954
Link To Document