The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
An extensible program representation for object-oriented software
ACM SIGPLAN Notices
Slicing object-oriented software
Proceedings of the 18th international conference on Software engineering
Slicing object-oriented java programs
ACM SIGPLAN Notices
An overview of methods for dependence analysis of concurrent programs
ACM SIGPLAN Notices
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Construction of the System Dependence Graph for Web Application Slicing
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
Formal Program Reversing by Conditioned Slicing
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
A model for slicing JAVA programs hierarchically
Journal of Computer Science and Technology
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Towards a simpler method of operational semantics for language definition
ACM SIGPLAN Notices
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Formal specification of program slicing
ACM SIGPLAN Notices
Slicing concurrent real-time system specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Slicing of UML models using model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Is there evolution before birth? deterioration effects of formal Z specifications
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Slicing an integrated formal method for verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |
Program slicing is a well-known technique that has been broadly applied to a variety of software engineering areas, such as understanding, debugging, testing and others. Although slicing programs written in a high-level language have been widely studied in literatures, very little work is involved in slicing formal specifications. In this paper we put forward a method of specification slicing. First, we analyze dependences in Z and introduce a new kind of dependence, i.e. logic dependence. Second, schema dependence graphs and specification dependence graphs are developed. On the basis of both graphs, a method of slicing specifications is given. Finally, a small but realistic example is illustrated.