Abstract
The lack of existing solutions makes it really hard to understand formal specification languages since the application domain for representations is useful for the purpose of carrying out certain software engineering operations such as slicing and the computation of program metrics. A Z specification dependence graph is presented in this letter. It draws on the strengths of a range of earlier works and adapts them, if necessary, to the Z language.
References
K. J. Ottenstein, L. M. Ottenstein, The program dependence graph in a software development environment, Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, New York, ACM SIGPLAN Notices, 19(1984)5, 177–184.
S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs, ACM Trans. on Programming Languages and Systems, 12(1990)1, 26–60.
L. Larsen, M. J. Harrold, Slicing object-oriented software, 18th International Conference on Software Engineering, Berlin, Germany, March 1996, 495–505.
J. M. Spivey, The Z Notation: A Reference Manual, (Second edition), Oriel College, Oxford, 1998, 42–85.
F. Wu, T. Yi, Dependence analysis for UML class diagrams, Journal of Electronics (China), 21(2004)3, 249–254.
F. Wu, T. Yi, Program slicing based on interesting index, Journal of Electronics (China), 21(2004)3, 255–260.
Author information
Authors and Affiliations
Additional information
Communication author: Wu Fangjun, born in 1977, female, Ph.D. Center of Modern Education at Yichun University, Yichun 336000, China.
About this article
Cite this article
Wu, F., Yi, T. The Z specification dependence graph. J. of Electron.(China) 22, 201–204 (2005). https://doi.org/10.1007/BF02688149
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02688149