論文 - 岡崎 直宣
-
Implementation of RETUSS to Ensure Traceability between Class Diagram in UML and Java Source Code in Real Time 査読あり
Keisuke Mori, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, and Naonobu Okazaki
Proc. 2018 Int’l Conf. on Artificial Life and Robotics (ICAROB2018) 522 - 525 2018年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of a Tool to Defect Specific Comments 査読あり
Satoshi Tanoue, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, and Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2018) 526 - 529 2018年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA 査読あり
Yuuki Kikkawa, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, and Naonobu Okazaki
Proc. 2016 Int'l Conf. on Artificial Life and Robotics (ICAROB 2016) 340 - 344 2016年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of a Decision Table Generation Tool from the Formal Specification 査読あり
K. Nishikawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 388 - 391 2015年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows 査読あり
H. Nakamura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 376 - 379 2015年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs 査読あり
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 380 - 383 2015年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA 査読あり
Y. Kikkawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 384 - 387 2015年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram 査読あり
T. Katayama, S. Urata, Y. Ogata, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 368 - 371 2015年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Puzzle Authentication Method with Shoulder-surfing Attack Resistance 査読あり
Mirang Park, Yoshihiro Kita, Kentaro Aburada, Naonobu Okazaki
Proceedings of the 2014 International Conference on Network-Based Information Systems (NBiS 2014) 495 - 500 2014年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Representation of human preference using folksonomy and the Idea called concept 査読あり
Michihito Tanoue, Hisaaki YAMABA, Kayoko TAKATSUKA, Naonobu OKAZAKI, Shigeyuki TOMITA
Proceedings of 19th International Symposium on Artificial Life and Robotics 162 - 167 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java 査読あり
Hiroto Nakamura, Tetsuro Katayama, Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita
Proc. International Conference on Artificial Life and Robotics (ICAROB 2014) 210 - 213 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification 査読あり
Kenta Nishikawa, Tetsuro Katayama, Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita
Proc. International Conference on Artificial Life and Robotics (ICAROB 2014) 222 - 225 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net 査読あり
Shoichiro Kitano, Tetsuro Katayama, Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita
Proc. International Conference on Artificial Life and Robotics (ICAROB 2014) 218 - 221 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
Zhijia Zhao, Tetsuro Katayama, Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita
Proc. International Conference on Artificial Life and Robotics (ICAROB 2014) 214 - 217 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Investigation of the Routing Method Based on the Number of Neighbor Nodes 査読あり
Kentaro Aburada, Mirang Park and Naonobu Okazaki
The 7th International Conference on Mobile Computing and Ubiquitous Networking 2014年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
On a serendipity-oriented recommender system based on folksonomy and its evaluation 査読あり
Hisaaki YAMABA, Michihito TANOUE, Kayoko TAKATSUKA, Naonobu OKAZAKI, Shigeyuki TOMITA
Proc. 17th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2013) 383 - 391 2013年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
A conversion method from an ETSC to a timed Petri net to improve the matrix-based discrete event controller and its unified support system 査読あり
Hisaaki YAMABA, Shoichiro KITANO, Kayoko TAKATSUKA, Tetsuro KATAYAMA, Naonobu OKAZAKI, Shigeyuki TOMITA
Proc. 17th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2013) 660 - 669 2013年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
STDS認証方式における録画解析による攻撃への耐性に関する一検討 査読あり
喜多義弘，菅井文郎，朴美娘，岡崎直宣，西村広光，鳥井秀幸，岡本剛
第12回情報科学技術フォーラム（FIT2013）（査読付） ( 4 ) 7 - 14 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Proposal and implementation of a shoulder-surfing attack resistant authentication method using two shift functions 査読あり
Yoshihiro Kita, Fumio Sugai, Mirang Park, Naonobu Okazaki
The Second International Conference on Cyber Security, Cyber Peacefare and Digital Forensic (CyberSec2013) 54 - 59 2013年3月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
On a serendipity oriented recommender system based on folksonomy 査読あり
H.Yamaba, M.Tanoue, K.Takatsuka, N.Okazaki, S.Tomita
18th Internatinal Symposium on Artificial Life and Robotics 338 - 341 2013年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）