By Topic

Requirements Modeling of Web-Based Scheduling Information System

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)
Yu Jun ; Sch. of Comput. Sci. & Eng., Xi'an Technol. Univ., Xian, China ; Hu Zhi-yi

Requirements modeling is a crucial step in the software development process. It takes an important role in requirements engineering. Requirements models are used to discover and clarify the functional and data requirements for software systems. It is the basis for understanding user requirement and designing information system. This paper describes an entire process of building a software requirements model on a Web-based scheduling information system. It firstly makes an informal data analysis. Followed that uses formal methods to design and complete a formal model of the system requirements using the specification language Z. The requirements model is actually formal specifications of the system¿s data model, system state and operations. It is a precise and unambiguous mathematic model of the target system. The Z specification of the requirements model can effectively improve system reliability, design time and comprehensibility.

Published in:

2008 International Conference on Information Management, Innovation Management and Industrial Engineering  (Volume:1 )

Date of Conference:

19-21 Dec. 2008