Programming perl
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
Automatic method refactoring using weighted dependence graphs
Proceedings of the 21st international conference on Software engineering
Call-mark slicing: an efficient and economical way of reducing slice
Proceedings of the 21st international conference on Software engineering
A Model for Change Propagation Based on Graph Rewriting
ICSM '97 Proceedings of the International Conference on Software Maintenance
ICSE '81 Proceedings of the 5th international conference on Software engineering
Viewpoints as an evolutionary approach to software system maintenance
ICSM '97 Proceedings of the International Conference on Software Maintenance
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
| Hi-index | 0.03 |
This paper presents a supporting technique for changing specification documents automatically so that the specifications can be consistent with source codes when the source codes are modified.In our technique, we represent a program with multiple graphs and we consider the changes on programs as the modification of the graphs. The modification of the graphs is formalized with a sequence of the operation on the graphs.We design the rules of how to relate the operations on program graphs to the operations on graphs that represent specification documents. By applying these rules, we can detect what modification and which parts of the specification document should be made to maintain the consistency between the specification and the program, when the program is modified.