| Presentation | 2007-08-02 A Case study : Design of Warehouse Management Program in JML and Verification with ESC/Java2 Masayuki OWASHI, Kozo OKANO, Shinji KUSUMOTO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In the software development, the notion "Design by Contract(DbC)" has been recently obtained a lot of attentions. In the DbC, contracts are represented as assertions. JML (Java Modeling Language) is one of the languages able to represent such assertions. In this research, we designed and programmed the Warehouse management program in Java and JML as a case study. This design is verified with "ESC/Java2". The paper reports the knowledge about what we learned in this process. Discussion about the issue on using JML in software development is also presented. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | ESC/Java2 / JML / Warehouse Manaagement / Design and verification / Design by Contract |
| Paper # | SS2007-22 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2007/7/26(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Case study : Design of Warehouse Management Program in JML and Verification with ESC/Java2 |
| Sub Title (in English) | |
| Keyword(1) | ESC/Java2 |
| Keyword(2) | JML |
| Keyword(3) | Warehouse Manaagement |
| Keyword(4) | Design and verification |
| Keyword(5) | Design by Contract |
| 1st Author's Name | Masayuki OWASHI |
| 1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
| 2nd Author's Name | Kozo OKANO |
| 2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
| 3rd Author's Name | Shinji KUSUMOTO |
| 3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
| Date | 2007-08-02 |
| Paper # | SS2007-22 |
| Volume (vol) | vol.107 |
| Number (no) | 176 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |