| 講演名 | 2007-08-02 JMLを用いた在庫管理プログラムの設計とESC/Java2を用いた検証 尾鷲 方志, 岡野 浩三, 楠本 真二, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年,契約に基づく設計による開発手法が脚光を浴びている.これを実現する言語の一つとしてJMLが挙げられる.本研究では、プログラム設計の共通問題である酒屋の在庫管理問題に対してJMLを用いて仕様作成を行いプログラムを記述し,ESC/Java2を用いて実際に検証を行った.本報告では,この過程で得られた知見(作業量,現バージョンのESC/Java2の記法の問題点,解決法など)について報告する.また,ソフトウェア開発にJMLを用いる上での課題について考察する. |
| 抄録(英) | 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. |
| キーワード(和) | ESC/Java2 / JML / 在庫管理問題 / 設計検証 / 契約による設計 |
| キーワード(英) | ESC/Java2 / JML / Warehouse Manaagement / Design and verification / Design by Contract |
| 資料番号 | SS2007-22 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2007/7/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | JMLを用いた在庫管理プログラムの設計とESC/Java2を用いた検証 |
| サブタイトル（和） | |
| タイトル（英） | A Case study : Design of Warehouse Management Program in JML and Verification with ESC/Java2 |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ESC/Java2 / ESC/Java2 |
| キーワード(2)（和/英） | JML / JML |
| キーワード(3)（和/英） | 在庫管理問題 / Warehouse Manaagement |
| キーワード(4)（和/英） | 設計検証 / Design and verification |
| キーワード(5)（和/英） | 契約による設計 / Design by Contract |
| 第 1 著者 氏名（和/英） | 尾鷲 方志 / Masayuki OWASHI |
| 第 1 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 2 著者 氏名（和/英） | 岡野 浩三 / Kozo OKANO |
| 第 2 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 3 著者 氏名（和/英） | 楠本 真二 / Shinji KUSUMOTO |
| 第 3 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2007-08-02 |
| 資料番号 | SS2007-22 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 176 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |