By Topic

User-interface Design of Web Application Using Object-Z

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
$31 $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

3 Author(s)
Bin Zhu ; Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China ; Huaikou Miao ; Bo Song

A notation is presented for formally describing Web applicationpsilas design of a user-interface. The function of a Web application is given using formal specification language Object-Z and then some generic classes, relationships and system actions are defined to specify user-interface design. In user-interface design, UAN annotations are added to Object-Z notation. The extended Object-Z notation expresses the presentation relationship between the design and the specification. This formal specification and design is useful in documenting a user-interface design and enables the analysis of the usability and safety of a Web application. In particular, it can be used to generate test cases automatically. An example of student information management system is used to illustrate the notation. Task efficiency is analyzed with the example.

Published in:

Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on

Date of Conference:

1-3 June 2009