By Topic

Notice of Retraction
A Lightweight Visual Approach to Teaching Formal Access Control Model for Computer Science Students

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Zhe Chen ; Zhengzhou Inf. Sci. & Technol. Inst., Zhengzhou, China ; Yuanning Liang

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

This paper presents the results in the area of Computer Science and Formal Methods Education. The result was an effort to study the formal method software tools into computer science student curriculum. Our purposes were to pioneer an innovative methodology that will increase the learning experience by introducing the use of mechanized approaches in teaching formal methods and to demonstrate the potential of graduate students for learning formal analysis techniques, by using these software tools. This methodology depends on the traditional teaching models and adds the use of automated software tools to enhance the student's learning experience. The result demonstrated increased student performance and understanding of difficult concepts in formal software analysis and design problems with the use of mechanized assistants.

Published in:

Circuits, Communications and System (PACCS), 2011 Third Pacific-Asia Conference on

Date of Conference:

17-18 July 2011