論文 - 岡崎 直宣
-
ネットワークサービス不能攻撃の経路追跡手法の効率化に関する検討 査読あり
共著者：岡崎直宣，河村栄寿，朴美娘
情報処理学会論文誌，44巻，12号，3197-3201頁 2003年12月
担当区分：筆頭著者, 責任著者 記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
An Efficient Method for Private Network Management Using IP Address Translation 査読あり
共著者：N. Okazaki, Y. Baba, T. Ideguchi, K. Nakata, M. R. Park, S. Seno
Trans. Institute of Electrical Engineers of Japan, Vol. 121-C, No. 10, pp.1562-1569 2001年10月
担当区分：筆頭著者, 責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式 査読あり
共著者：渡邊晃，岡崎直宣，朴美娘，井手口哲夫，笹瀬巌
電気学会論文誌C 121-C巻, 9号, 1429-1438頁 2001年9月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Realization Method of Flexible Private Network System 査読あり
共著者：N. Okazaki, M. R. Park, A. Watanabe, S. Seno, T. Ideguchi, M. Yabe
Trans. Institute of Electrical Engineers of Japan, Vol. 120-C, No. 8/9, pp.1242-1249 2000年8月
担当区分：筆頭著者, 責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
同期データの伝送遅延時間特性を改善する改良型Timed Token Protocolの提案と評価 査読あり
共著者：矢部正行，井手口哲夫，朴美娘，厚井裕司，岡崎直宣，白鳥 則郎
電気学会論文誌C 120-C巻, 5号, 731-739頁 2000年5月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
ASLA: Automatic Segmentation and Labeling by Deep Learning for Document Pictures 査読あり
Kakinoki K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 10 ( 4 ) 362 - 367 2024年9月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
In this paper, we propose ASLA, a segmentation and label generation system for document pictures. ASLA reduces the duration needed for separating document pictures into areas and label generation. By using the application example, we have verified that ASLA operates properly. We have evaluated the usefulness of ASLA in regard to time and accuracy. We have assessed the efficacy of the rule-based area correction method. As a result, we have verified that ASLA is useful.
-
Onaga H., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 10 ( 4 ) 336 - 341 2024年9月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
It is difficult for mobile application developers to understand the structure of large and complex mobile applications. To support iOS application development, we proposed SwiftDiagram: a visualization of the static structure of Swift source code, and demonstrated its usefulness. To further support them, this paper has implemented RAGESS(Real-time Automatic Generation of SwiftDiagram System), which is a software visualization tool. RAGESS performs static analysis on Swift source code and automatically generates the corresponding SwiftDiagram whenever the target project build succeeds.
-
Analysis of Self Determination Factors for Continuance Intention on Online Learning Management System 査読あり
Saputra Mochamad Chandra, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu, Wicaksono Satrio Agung
Journal of Robotics, Networking and Artificial Life 10 ( 1 ) 91 - 95 2023年10月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The COVID-19 pandemic outbreak transformed the paradigm of the educational process. Many educational institutions, including the University, mainly the Faculty of Computer Science, Brawijaya University, have experienced success with learning through the Internet. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. This study investigates continuance intention factor by using self determination model as a research model. The objective of this study is to find the factor factors affecting students' continuance intention toward online learning management systems. The proposed model is useful for investigating continuance intention factors. The study finds that intrinsic regulation, external regulation, identified regulation, and introjected regulation significantly positive impact on continuance intention in learning management systems. Finally, this study provides suggestions for the Faculty to improve the continuance intention of the student in using an online learning management system.
-
Prototype of the Framework CATdd to Support Continuous Development in Test Driven Development 査読あり
Miyashita Takeaki, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 4 ( 1 ) 35 - 40 2023年9月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
TDD is a development methodology to improve software quality. In this study, we prototype the framework CATdd (Continuous Automated Test Driven Development), which supports continuous development with TDD. CATdd reduces the time of implementation step in TDD by generating new source code that passes tests using LLM. CATdd maintains consistency with other source code in the project by using existing source code and related source code to prompt. As a result of the evaluation experiments, the time for the implementation step in TDD was reduced by 94% for a simple task and by 56% for another more complex task. In conclusion, CATdd is useful to support continuous development.
-
Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning 査読あり
Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 2 ( 4 ) 189 - 194 2022年10月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate only type and constant definitions in VDM++ specification from natural language specification by using machine learning. This paper proposes a method to generate classes and instance variable definitions in VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F- values, it has been confirmed that the proposed method can improve the usefulness of the existing method.
-
Proposal of Gamma Which Is a Messaging Platform for Spatial Data 査読あり
Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 2 ) 136 - 142 2022年10月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
This paper proposes Gamma, which is a messaging platform for spatial data. Gamma uses distributed MQTT system for spatial data sharing, and this paper aims to improve the usefulness of distributed MQTT system. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.
-
Expansion of Application Scope and Addition of a Function for Operations into BWDM which is an Automatic Test Cases Generation Tool for VDM++ Specification 査読あり
Muto Takafumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 3 ) 255 - 262 2022年10月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The use of the formal specification description language VDM++ in software design can eliminate ambiguity in the specification. However, software testing after implementation is necessary even if the design uses VDM++, but manually generating test cases is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper solves the three problems and improves the usefulness of BWDM by expanding the scope of application of VDM++ definitions and adding a function to generate test cases for object states. In addition, we conducted a comparison experiment with manual test case generation and confirmed that BWDM can reduce work time.
-
Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features 査読あり
Priyambadha Bayu, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 1 ) 43 - 48 2022年8月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Measuring the quality of software design artifacts is difficult due to the limitation of information in the design phase. The class diagram is one of the design artifacts produced during the design phase. The syntactic and semantic information in the class is essential to consider in the measurement process. Smell detection uses class-related information to detect the smell as an indicator of a lack of quality. Several classifiers use all information related to the class to prove how informative it for the smell detection process. The smell types that are a concern in this research are Blob and Feature Envy. The experiment using three classifiers (j48, Multi-Layer Perceptron, and Naïve Bayes) confirms that Blob smell detection utilizes the information successfully. On the other hand, Feature Envy still needs more elaboration. The average true positive rate by the classifiers is about 80.67%.
-
Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach 査読あり
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life, Atlantis Press 8 ( 1 ) 1 - 5 2021年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases 査読あり
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life, Atlantis Press 8 ( 1 ) 24 - 28 2021年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Extension of the Function to Ensure Real-time Traceability between UML Sequence Diagram and Java Source Code on RETUSS 査読あり
Kaoru Arima, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, and Naonobu Okazaki
Journal of Advances in Artificial Life Robotics (JAALR) 2 ( 1 ) 254 - 258 2021年6月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
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月
記述言語：英語 掲載種別：研究論文（学術雑誌）