研究者

J-GLOBAL ID：200901056630401228 更新日: 2022年11月28日

小飼敬

コガイケイ | Kogai Kei

研究分野 (1件)：ソフトウェア

研究キーワード (1件)：ソフトウェア工学

競争的資金等の研究課題 (2件)：

ソフトウェア工学
-

論文 (2件)：

小飼敬, 小山恭平, 上田賀一, 高橋勇喜, 武澤隆之, 中野利彦. 情報制御システム記述言語による列車運行制御モデルの記述と検証. コンピュータソフトウェア. 2012. 29. 3. 3_101-3_107
小飼敬, 上田賀一, 大久保訓, 高橋勇喜, 中野利彦. Alloyを利用した情報制御システム記述言語の仕様検証の実用化. コンピュータソフトウェア. 2010. 27. 4. 4.228-4.233 (J-STAGE)-233

MISC (55件)：

小飼敬, 宮島卓巳, 上田賀一, 山形知行, 武澤隆之. 段階的検査法にモジュラ化手法を用いたモデル検査の実用化. ソフトウェア工学の基礎 XXII 日本ソフトウェア科学会FOSE 2015. 2015. 145-150
大森祐貴, 小飼敬, 上田賀一, 山形知行, 武澤隆之. 段階的検査法を用いたモデル検査の反例分析手法. 日本ソフトウェア科学会第32回大会. 2015. 一般1-3
宮島卓巳, 小飼敬, 上田賀一. モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 501. 25-30
小飼敬, 宮島卓巳, 上田賀一. 情報制御システムに対するモジュラ検証と課題. ウィンターワークショップ2015・イン・宜野湾論文集. 2015. 2015. 45-46
宮島卓巳, 小飼敬, 上田賀一, 山形知行, 武澤隆之. 情報制御システムにおける段階的検査法を用いたモジュラ検証. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2014. 31st. ROMBUNNO.IPPAN1-4-39

もっと見る

学位 (1件)：

修士(工学) (茨城大学)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM