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
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;
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
DOI :
10.1109/CISE.2009.5367158
