シオノ　ヤスノリ   塩野　康徳    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   専任講師
言語種別	日本語
発行・発表の年月	2010/08
形態種別	国際会議論文
査読	査読あり
標題	［国際会議論文（プロシーディング）］ Behavioral Verification in Hichart Development Environment for Embedded Software
執筆形態	共著
掲載誌名	Proceedings of the 9the IEEE/ACIS International Conference on Computer and Information Science
巻・号・頁	337-440頁
著者・共著者	（著者）Takaaki Goto, Yasunori Shiono, Tetsuro Nishino, Takeo Yaku and Kensei Tsuchida．
概要	副筆 Hichartエディタ上でプロセスの呼び出し関係を可視化し、フィードバック機能を追加して、図式プログラムに基づく組み込みソフトウェア開発環境を構築した。 本人は、可視化について考察し、実装方法と効果の議論を行った。