| Abstract | .... 2 | |
| 1 | Introduction | .... 4 |
| 2 | Brief historic | .... 5 |
| 3 | First step the Method; Analysis | .... 6 |
| 3.1 | Discription of our Program | .... 7 |
| 3.2 | Identification of types objects and operators | .... 7 |
| 3.3 | Rewriting the problem discription | .... 11 |
| 3.4 | Updating the elements and the graphic representation of the solution space | .... 11 |
| 4 | Second step of the method; Specification | .... 13 |
| 5 | Third step of the method; Dynamic Specification | .... 16 |
| 5.1 | Execution work and definition of a CL module | .... 17 |
| 5.2 | Dynamic specification of our problem | .... 19 |
| 6 | Fourth step of the method; Automatic generation of Code | .... 21 |
| 6.1 | The first automatic generation of code | .... 22 |
| 6.2 | The second automatic generation of code | .... 27 |
| 7 | Conclusion | .... 32 |
| References | .... 33 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports