By Topic

Definition of SCR Tables in the New Model of Tabular Expressions

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

2 Author(s)
Jing Zhang ; Coll. of Comput. Sci. & Tech., Jilin Univ., Changchun ; Ying Jin

It is vital for the success of a software project to construct a complete and concise requirement document in the early development phase. Tabular Expressions can be used to formally define software technical documents and achieve both conciseness and readability. SCR method is a practical document-driven requirement method which has gained widespread applications. Three special tables have been utilized in the SCR method for facilitating requirement documentation. This paper gives formal definitions of SCR tables within the new mathematical model of tabular expression. Especially, a general way to defining timing properties for large complex systems is proposed. Problems with SCR table definitions are pointed out. It is indicated that the new mathematical model of tabular expressions is not only general enough to include SCR tables, but also provides a sound support for formal documentation.

Published in:

Computer and Electrical Engineering, 2008. ICCEE 2008. International Conference on

Date of Conference:

20-22 Dec. 2008