| Presentation | 1998/8/6 The Extension of Relational Inference-based Formalization of Detection Method for Structure Clash between Program Input and Output Data Efendy Lukman, Masaaki Hashimoto, Toyohiko Hirota, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | For improving software productivity and reliability, the authors proposed comprehen-sible and extensible specification description language PSDL. The PSDL adopted the ER(Entity-Relationship)model as a conceptual model, and data flow to express its computations. The authors also proposed the transformation method from non-procedural language PSDL program specifications to procedural program. However, the proposition remains in the basic parts, and still has some problems. For example, recursive processing and complicated input-output data processing are still not established. To solve these problems, rigorous discussions of the transformation method are needed. This paper extends the formalization to clarify and solve the problems. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Program generation method / Non-procedural language / Directed graph / Structure clash / Data model / Relation |
| Paper # | KBSE98-9 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 1998/8/6(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) | The Extension of Relational Inference-based Formalization of Detection Method for Structure Clash between Program Input and Output Data |
| Sub Title (in English) | |
| Keyword(1) | Program generation method |
| Keyword(2) | Non-procedural language |
| Keyword(3) | Directed graph |
| Keyword(4) | Structure clash |
| Keyword(5) | Data model |
| Keyword(6) | Relation |
| 1st Author's Name | Efendy Lukman |
| 1st Author's Affiliation | Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology() |
| 2nd Author's Name | Masaaki Hashimoto |
| 2nd Author's Affiliation | Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| 3rd Author's Name | Toyohiko Hirota |
| 3rd Author's Affiliation | Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology |
| Date | 1998/8/6 |
| Paper # | KBSE98-9 |
| Volume (vol) | vol.98 |
| Number (no) | 238 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |