Papers - OKAZAKI Naonobu
-
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Javaプログラムのデータ遷移可視化ツールTFVISの開発 Reviewed
佐藤 拓弥, 片山 徹郎, 喜多 義弘, 山場 久昭, 油田 健太郎, 岡崎 直宣
情報処理学会論文誌 59 ( 4 ) 1137 - 1149 2018.4
Language：Japanese Publishing type：Research paper (scientific journal)
-
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++ Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Prototype of a Decision Table Generation Tool from the Formal Specification Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
並列性を考慮した通信システムの相互接続試験系列生成法 Reviewed
共著者：朴美娘，岡崎直宣，三上節子，高橋薫，白鳥則郎，野口正一
情報処理学会論文誌，34巻，6号，1336-1346頁 1993.6
Language：Japanese Publishing type：Research paper (scientific journal)
-
プロセスの独立性を考慮した通信システムの相互接続試験系列生成法 Reviewed
共著者：朴美娘，岡崎直宣，太田正孝，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J76-B-Ⅰ巻，3号，264-273頁 1993.3
Language：Japanese Publishing type：Research paper (scientific journal)
-
LOTOS仕様からの効率的な試験系列の生成法 Reviewed
共著者：岡崎直宣，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J74-B-Ⅰ巻，10号，733-747頁 1991.10
Language：Japanese Publishing type：Research paper (scientific journal)
-
ユーザフレンドリープロトコル検証システム Reviewed
共著者：山本博章，相沢茂喜，岡崎直宣，高橋薫，白鳥則郎，野口正一
電子情報通信学会論文誌，J70-D巻，11号，2219-2227頁 1987.11
Language：Japanese Publishing type：Research paper (scientific journal)