在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告

尾鷲, 方志; 岡野, 浩三; 楠本, 真二

電子情報通信学会論文誌D, 2008, J91-D(11), 2719-2720

Number of Access:238（2025-09-04 18:43 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27437

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_J91-D_11_2719 pdf None 217 KB 94 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告
Design of Warehouse Management Program in JML and Its Verification with ESC/Java2
ザイコ　カンリ　プログラム　ノ　セッケイ　ニ　タイスル　JML　キジュツ　ト　ESC　Java2　ヲ　モチイタ　ケンショウ　ノ　ジレイ　ホウコク
Creator
CreatorName
尾鷲, 方志 ; オワシ, マサユキ ; Owashi, Masayuki
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Subject
ESC/Java2
JML
在庫管理問題
設計検証
契約による設計
Abstract
本論文では，契約に基づく設計が行えるJMLを用いて在庫管理問題の仕様作成を行い，ESC/Java2を用いて検証した．この結果や考察について述べる．
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会論文誌D
Volume (Issue)
J91-D(11)
Page
2719-2720
Date of Issued
2008-11-01
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27437
PISSN
18804535
NCID
AA12099634
Relation.references
URI
http://search.ieice.org/
Access Rights
open access
CopyRight
© （社）電子情報通信学会 2008
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article