Rchr
J-GLOBAL ID：200901056630401228
Update date: Nov. 28, 2022
Kogai Kei
コガイ ケイ | Kogai Kei
Research field (1)：
Software
Research keywords (1)：
ソフトウェア工学
Research theme for competitive and other funds (2)：
ソフトウェア工学
-
Papers (2)：
KOGAI Kei, OYAMA Kyohei, UEDA Yoshikazu, TAKAHASHI Yuki, TAKEZAWA Takayuki, NAKANO Toshihiko. Modeling and Verification of Train Operation Control based on Information Control System Modeling Language. Computer Software. 2012. 29. 3. 3_101-3_107
KOGAI KEI, UEDA YOSHIKAZU, OKUBO SATOSHI, TAKAHASHI YUKI, NAKANO TOSHIHIKO. Realistic Validation of Specification for Information and Control System Description Language using Alloy. コンピュータソフトウェア. 2010. 27. 4. 4.228-4.233 (J-STAGE)-233
MISC (55)：
小飼 敬, 宮島 卓巳, 上田 賀一, 山形 知行, 武澤 隆之. 段階的検査法にモジュラ化手法を用いたモデル検査の実用化. ソフトウェア工学の基礎 XXII 日本ソフトウェア科学会FOSE 2015. 2015. 145-150
大森 祐貴, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之. 段階的検査法を用いたモデル検査の反例分析手法. 日本ソフトウェア科学会第32回大会. 2015. 一般1-3
宮島 卓巳, 小飼 敬, 上田 賀一. Investigation of model checking by modular approach, and practicality of modular verification. 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 501. 25-30
小飼 敬, 宮島 卓巳, 上田 賀一. Modular Verification for Information Control System and its Problems. ウィンターワークショップ2015・イン・宜野湾 論文集. 2015. 2015. 45-46
宮島卓巳, 小飼敬, 上田賀一, 山形知行, 武澤隆之. 情報制御システムにおける段階的検査法を用いたモジュラ検証. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2014. 31st. ROMBUNNO.IPPAN1-4-39
ｍore...
Professional career (1)：
Master (Engineering) (Ibaraki University)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
