Kyushu University Academic Staff Educational and Research Activities Database
List of Papers
Keijiro Araki Last modified date:2017.06.27

Professor / Advanced Software Engineering / Department of Advanced Information Technology / Faculty of Information Science and Electrical Engineering


Papers
1. Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen, A Formal Modeling Tool for Exploratory Modeling in Software Development, IEICE Transactions, E100-D, 6, 2017.06.
2. Keijiro Araki, Taro Kurita, Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case, Proc. ICFEM 2016, Formal Methods and Software Engineering, 10009, 2016.11.
3. Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen, ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4, Proceedings of the 11th International Workshop on Smalltalk Technologies 2016 (IWST16), 2016.11, [URL].
4. Addul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki, Nationality Based Context-Aware Scenario of Cultural Heritage Guidance as Informal Learning, Proc. Fifth International Conference on E-Learning and E-Technologies in Education (ICEEE2016), 2016.09.
5. Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen, Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling, Proceedings of the 14th Overture Workshop (Overture14), 2016.08, [URL].
6. Abdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki, Enjoying Culture Heritage Experiences as Informal Learning through User's Nationality Context-Awareness, International Journal of E-Learning and Educational Technologies in the Digital Media, 2, 3, 2016.01.
7. Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki, Visualizing Centrality of Process Area Networks in CMMI-DEV, International Conference on Software and Systems Process (ICSSP 2015), 2015.08.
8. Abdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki, Adaptive Context-Awareness Model for Cultural Heritage Information based on User Needs, 4th International Conference on Learning Technologies and Learning Environments (LTLE2015), 2015.07.
9. Yoichi Omori, Keijiro Araki, Peter Gorm Larsen, JODTool on the Overture Tool to manage formal requirement dictionaries, Proc. 13th Overture Workshop, 2015.06.
10. Tomohiro Oda, Yasuhiro Yamamoto, Kumiyo Nakakoji, Keijiro Araki, Peter Gorm Larsen, VDM Animation for a Wider Range of Stakeholders, Proc. 13th Overture workshop, 2015.06.
11. Taro Kurita, Fuyuki Ishikawa, Keijiro Araki, Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware, Proc. 20th International Symposium on Formal Methods, 2015.06.
12. Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen, VDMPad: a Lightweight IDE for Exploratory VDM-SL Specification, Proc. 3rd FME Workshop on Formal Methods in Software Engineering, 2015.05.
13. Keijiro Araki, shigeru kusakabe, Yoichi Omori, LIN HSIN-HUNG, Using Hazard Analysis STAMP/STPA in Developing Model-oriented Formal Specifications Toward Reliable Cloud Service
, Proc. International Conference on Platform Technology and Service , 2015.01.
14. shigeru kusakabe, LIN HSIN-HUNG, Yoichi Omori, Keijiro Araki, Requirements Development of Energy Management System for a Unit in Smart Campus
, Proc. 3rd International Conference on Institutional Research and Institutional Management , 2014.09.
15. shigeru kusakabe, LIN HSIN-HUNG, Yoichi Omori, Keijiro Araki, Generating Supportive Hypotheses in Introducing Formal Methods
using a Software Processes Improvement Model, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014.06.
16. shigeru kusakabe, LIN HSIN-HUNG, Yoichi Omori, Keijiro Araki, Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model, Proc. 2nd FME Workshop on Formal Methods in Software Engineering, 2014.06.
17. shigeru kusakabe, LIN HSIN-HUNG, Yoichi Omori, Keijiro Araki, Prototyping Core Software of Energy Management System for Smart Campus with Advanced Software Engineering Methods, Proc. of The Second International Conference on Green Computing, Technology and Innovation , 2014.03.
18. shigeru kusakabe, LIN HSIN-HUNG, Yoichi Omori, Keijiro Araki, Illustrating the Effect of Formal Methods on Software Process
with a Standard Model,, Proceedings of International Conference on Advanced Software Engineering and Information Systems, 2013.11.
19. Yoichi Omori, Keijiro Araki, A Distributed Agile Formal Specification Environment, Proceedings of International Conference on Advanced Software Engineering and Information Systems, 2013.11.
20. Tomohiro Oda, Keijiro Araki, Overview of VDMPad: An Interactive Tool for Formal
Specification with VDM, Proceedings of International Conference on Advanced Software Engineering and Information Systems, 2013.11.
21. Mardiana, Keijiro Araki, EA-MDA Model to Resolve IS Characteristic Problems in Educational Institution, International Journal of Software Engineering & Applications (IJSEA), 2013.05.
22. Nazir Ahmad Zafar, Sher Afzal Khan and Keijiro Araki, Towards the Safety Properties of Moving Block Railway Interlocking System, International Journal of Innovative Computing, Information and Control, 8, 8, 2012.08.
23. Mardiana and Keijiro Araki, SIMPEL : An Innovative Web Application Interface Supporting Online Course Management System, Proc. ITHET 2012: International Conference on Information Technology Based Higher Education and Training, 2012.06.
24. Mardiana, Keijiro Araki and Yoichi Omori, MDA and SOA Approach to Development of Web Application Interface, Proc. TENCON 2011, 2011.11.
25. Hiroshi Mochio and Keijiro Araki, VDM++ as a Basis of Scalable Agile Formal Software Development, Proc. 9th Overture Workshop, 2011.06.
26. Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe and Keijiro Araki, A Case Study of Software Development with eUML and VDM++, Proc. of 3rd International Workshop on Critical Systems Development with UML, 2004.10.
27. Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe and Keijiro Araki, Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM-SL, Proc. of International Symposium on Future Software Technology 2004, 2004.10.
28. Yuji Arichika and Keijiro Araki, Formal Modeling for Information Appliance Using MVC Architecture, Proc. of International Symposium on Future Software Technology 2004, 2004.10.