論文 - 岡崎 直宣
-
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月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
並列性を考慮した通信システムの相互接続試験系列生成法 査読あり
共著者：朴美娘，岡崎直宣，三上節子，高橋薫，白鳥則郎，野口正一
情報処理学会論文誌，34巻，6号，1336-1346頁 1993年6月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
プロセスの独立性を考慮した通信システムの相互接続試験系列生成法 査読あり
共著者：朴美娘，岡崎直宣，太田正孝，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J76-B-Ⅰ巻，3号，264-273頁 1993年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
LOTOS仕様からの効率的な試験系列の生成法 査読あり
共著者：岡崎直宣，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J74-B-Ⅰ巻，10号，733-747頁 1991年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
ユーザフレンドリープロトコル検証システム 査読あり
共著者：山本博章，相沢茂喜，岡崎直宣，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J70-D巻，11号，2219-2227頁 1987年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）