DocumentCode
2879406
Title
Discussion on Definition and Use of Variables in Z Formal Specifications: An Example
Author
Mao, Qing ; Wu, Fangjun ; Yi, Tong ; Chen, Juan ; Hu, Yi ; Xu, Huaiguo ; He, Xiaoli
Author_Institution
Sch. of Inf. Technol., Jiangxi Univ. of Finance & Econ., Nanchang, China
fYear
2009
fDate
11-13 Dec. 2009
Firstpage
1
Lastpage
4
Abstract
Z Formal method not only can improve correctness and reliability of software, but also improve development efficiency. Although Z specifications have been widely studied in literatures, very little work is involved in definition and use of variables. This paper discussed on definition and use of variables by an example. Finally, it is applied to data flow analysis and data dependent analysis.
Keywords
data flow analysis; formal specification; software reliability; Z formal specifications variables; data dependent analysis; data flow analysis; software correctness; software reliability; Data analysis; Finance; Formal specifications; Helium; Information technology; Input variables; Logic; Mathematics; Postal services; Programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-4507-3
Electronic_ISBN
978-1-4244-4507-3
Type
conf
DOI
10.1109/CISE.2009.5367158
Filename
5367158
Link To Document