摘要 |
<P>PROBLEM TO BE SOLVED: To provide a software development supporting apparatus which enables a software developer to easily check exclusiveness among a plurality of state transition conditions included in a state transition diagram describing the operation specifications of software. Ž<P>SOLUTION: The software development supporting apparatus 1 includes: a software specification storage part 11 for storing the state transition diagram including the plurality of state transition conditions; a first transition condition analysis part 21 for syntactically analyzing the state transition conditions; a first transition condition display part 22 for providing a means for visually displaying the syntactically analyzed state transition conditions in a matrix form or a tree form; and a source code generation part 27 for generating a source code on the basis of the state transition diagram stored in the software specification storage part 11. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|