Slicing Z specifications

ACM SIGPLAN Notices

Volumn 39, Issue 8, 2004, Pages 39-48

  Wu, Fangjun ^a   Yi, Tong ^b  

^a SOUTHEAST UNIVERSITY   (China)

^b YICHUN UNIVERSITY   (China)

Author keywords

Dependence analysis; Formal specification language; Program slicing; Specification slicing

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; GRAPH THEORY; PARAMETER ESTIMATION; PROBLEM SOLVING; SOFTWARE ENGINEERING;

DEPENDENCE ANALYSIS; FORMAL SPECIFICATION LANGUAGES; PROGRAM SLICING; SPECIFICATION SLICING;

COMPUTER PROGRAMMING;

EID: 6344278193     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1026474.1026481     Document Type: Article

References (29)

1. th Irvine Software Symposium, April 1994, pp.25-37. 〈http://www.ics.uci.edu/~djr/abstracts/slicing-iss.html〉
2. Zhenqiang Chen, Baowen Xu. Slicing object-oriented Java programs. ACM SIGPLAN Notices, Vol. 36, No.4, 2001, pp. 33-40.
3. Zhenqiang Chen, Baowen Xu, Hongji Yang. Test coverage analysis based on program slicing. Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration (IRI'2003), Las Vegas, USA, October 27-29, 2003,pp.559-565.
4. Zhenqiang Chen, Baowen Xu, and Jianjun Zhao. An overview of methods for dependence analysis of concurrent programs. ACM SIGPLAN Notices, Vol.37, No.8, 2002, pp. 45-52.
5. Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang. A novel approach to measuring class cohesion based on dependence analysis. Proceedings of International Conference on Software Maintenance (ICSM'2002), 2002, pp. 377-383.
6. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, Vol.9, No.3, 1987, pp. 319-349.
7. K. Gallagher, et al. Program slicing in software maintenance. IEEE Transaction on Software Engineering, Vol.17, No.8, 1991, pp.751-761.
8. S. Horwitz, T. Reps, D. Binkley. Interprocedural slicing using dependence graphs. ACM Transaction on Programming Languages and Systems, Vol.12, No.1, 1990, pp. 26-60.
9. th International Conference, on Software Engineering, Berlin, Germany, March 1996, pp. 495-505.
10. Bixin Li. A technique to analyze information-flow in object-oriented programs. Information and Software Technology, Vol.45, No.6, 2003, pp.305-314.
11. Bixin Li, Xiaocong Fan, Jun Pan, and Jianjun Zhao. A model for slicing Java programs hierarchically. Journal of Computer Science and Technology, 2004, to appear.
12. B. Malloy, J. McGregor, A. Krishnaswamy. An extensible program representation for object-oriented software. ACM SIGPLAN Notices, Vol.29, No.12, 1994, pp. 38-47.
13. R. Mittermeir, A. Bollin. Demand-driven specification partitioning. Lecture Notes in Computer Science, Vol. 2789,2003, pp.241-253.
14. th annual International computer software and applications conference (COMPSAC'93), Phoenix, USA, November 1993, pp.313-319.
15. F. Ohata, A. Nishimatsu, and K. Inoue. Analyzing dependence locality for efficient construction of program dependence graph. Information and Software Technology, Vol.42, 2000, pp.935-946.
16. K. Ottenstein, L. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLAN Notices, Vol.19, No.5, 1984, pp. 177-184.
17. A. Podgurski, L. Clarke. Formal model of program dependencies and its implications for software testing, debugging and maintenance. IEEE Transactions on software Engineering, Vol.16, No.9, 1990, pp.965-979.
18. nd IEEE International Workshop on Source Code Analysis and Manipulation, Montreal, Canada, Oct 1, 2002, pp.123-132.
19. J. M. Spivey, The Z notation: a reference manual (second edition). Oriel College, Oxford, 1998.
20. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, Vol.3, No.3, 1995, pp.121-189.
21. th European Conference on Software Maintenance and Reengineering, Benevento, Italy, Mar 26-28, 2003, pp.368-378.
22. rd IEEE International Workshop on Source Code Analysis and Manipulation, Amsterdam, Netherlands, SEP 26-27, 2003, pp. 55-64.
23. M. Weiser. Program slicing. IEEE Transaction on Software Engineering, Vol.16, No.5, 1984, pp.498-509.
24. Fangjun Wu, Tong Yi. Dependence analysis for UML class diagrams. Journal of Electronics, Vol.21, No.3, 2004, pp.249-254.
25. Fangjun Wu, Tong Yi. Program slicing based on interesting index. Journal of Electronics, Vol.21, No.3, 2004, pp.255-260.
26. Fangjun Wu, Tong Yi. An approach of UML class diagram coarse-grained slice based on dependency analysis. Journal of Applied Sciences, Vol.22, No.3, 2004, to appear.
27. Fangjun Wu, Tong Yi. Research on typical software architecture slicing. Journal of Computer Engineering, Vol.31, No.3, 2005, to appear.
28. Tong Yi, Fangjun Wu. An approach for computing dynamic slicing based on coverage testing. Journal of Applied Sciences, Vol.22, No.2, 2004, pp.80-85.
29. Formal specification - Z notation-syntax, type and semantics (consensus working draft 2.6), Z Standards Panel, August 24, 2000. http://www.cs.york.ac. uk/~ian/zstan/