文献
J-GLOBAL ID:201502209173621120
整理番号:15A0950198
VDM++仕様から自動生成したJavaコードの振る舞い検証手法の提案
A parctical approach of behavior verification to Java code that was automatically generated from VDM++ specification
著者 (4件):
大森洋一
(九大 大学院システム情報科学研究院)
,
林信宏
(九大 大学院システム情報科学研究院)
,
日下部茂
(九大 大学院システム情報科学研究院)
,
荒木啓二郎
(九大 大学院システム情報科学研究院)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2015
号:
EMB-37
ページ:
VOL.2015-EMB-37,NO.3 (WEB ONLY)
発行年:
2015年05月28日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)