| Presentation | 2010/5/20 Fundamental Program Structure Patterns of Recursive Programs Masanori OHDAN, Tadamasa SATOU, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | It requires programming aids to improve the understandability for recursive programs that are not easy to follow the logic due to having deep gaps between static descriptions and dynamic behaviors. As an approach, it proposes to apply PSF (Program Structure Formalization) method which provides to analyze logic schema, specification traceability, and identify the similarity among program isomers. It discusses a method for representing the program structure of recursive programs by PSF diagrams and expressions, and the program structure patterns for them. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Program Structure / Recursive Call / Program Formalization / HCP Chart |
| Paper # | KBSE2010-15,SS2010-15 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2010/5/20(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Fundamental Program Structure Patterns of Recursive Programs |
| Sub Title (in English) | |
| Keyword(1) | Program Structure |
| Keyword(2) | Recursive Call |
| Keyword(3) | Program Formalization |
| Keyword(4) | HCP Chart |
| 1st Author's Name | Masanori OHDAN |
| 1st Author's Affiliation | Interdisciplinary Graduate School of Science and Engineering, Shimane University:NTT DATA SYSTEM TECHNOLOGIES INC. /() |
| 2nd Author's Name | Tadamasa SATOU |
| 2nd Author's Affiliation | |
| Date | 2010/5/20 |
| Paper # | KBSE2010-15,SS2010-15 |
| Volume (vol) | vol.110 |
| Number (no) | 61 |
| Page | pp.pp.- |
| #Pages | 5 |
| Date of Issue | |