論文 - 岡崎 直宣
-
Utilizing the Similarity Meaning of Label in Class Cohesion Calculation 査読あり
Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 7 ( 4 ) 270 - 274 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Advances in Artificial Life Robotics (JAALR) 1 ( 4 ) 186 - 191 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification 査読あり
Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 7 ( 3 ) 165 - 169 2020年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
FMD-VS: A virtual sensor to index FMD virus scattering 査読あり
Kayoko Takatsuka, Satoshi Sekiguchi, Hisaaki Yamaba, Kentaro Aburada, Masayuki Mukunoki, Naonobu Okazaki
PLoS ONE 15 ( 9 ) 1 - 25 2020年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification 査読あり
Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 6 ( 3 ) 143 - 147 2019年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar 査読あり
Tetsuro Katayama, Toshihiro Miyaji, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 5 ( 4 ) 123 - 127 2019年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit 査読あり
Tetsuro Katayama, Tatsumi Nishida, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 5 ( 4 ) 249 - 252 2019年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time 査読あり
Tetsuro Katayama, Keisuke Mori, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada and Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 5 ( 2 ) 114 - 117 2018年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Javaプログラムのデータ遷移可視化ツールTFVISの開発 査読あり
佐藤 拓弥, 片山 徹郎, 喜多 義弘, 山場 久昭, 油田 健太郎, 岡崎 直宣
情報処理学会論文誌 59 ( 4 ) 1137 - 1149 2018年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++ 査読あり
Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 4 ( 2 ) 110 - 113 2017年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA 査読あり
Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada and Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 3 ( 4 ) 231 - 235 2017年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows 査読あり
Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 2 ( 3 ) 177 - 181 2015年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Decision Table Generation Tool from the Formal Specification 査読あり
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 2 ( 3 ) 205 - 208 2015年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA 査読あり
Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 2 ( 2 ) 136 - 140 2015年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram 査読あり
Tetsuro Katayama, Seiya Urata, Yohei Ogata, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 2 ( 1 ) 9 - 12 2015年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs 査読あり
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba and N. Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 1 ( 4 ) 299 - 302 2015年2月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net 査読あり
T. Katayama, S. Kitano, Y. Kita, H. Yamaba and N. Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 1 ( 3 ) 212 - 215 2014年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification 査読あり
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba and N. Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 1 ( 3 ) 174 - 178 2014年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs 査読あり
Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba and Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 1 ( 2 ) 111 - 115 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
Tetsuro Katayama, Zhijia Zhao, Yoshihiro Kita, Hisaaki Yamaba and Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 1 ( 2 ) 120 - 124 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）