By Topic

Using multiple graphs of programs to modify specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Nakanishi, T. ; Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan ; Saeki, M.

The 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

Published in:

Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific

Date of Conference:

1999