Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Keijiro Araki Last modified date:2017.06.27

Graduate School
Undergraduate School
Administration Post
Dean of the Faculty of Information Science and Electrical Engineering
Dean of the Graduate School of Information Science and Electrical Engineering

Academic Degree
Doctor of Engineering
Field of Specialization
Formal Approaches to Software Development
Research Interests
  • Architecture Oriented Formal Approaches to High Quality Software Development
    keyword : Specification, Veriication of Specification, Software Engineering, Software Lifecycle, Architecture
  • Formal Methods Applicable to Software Life Cycle
    keyword : formal methods, software life cycle, software development process
  • Training Formal Methods Talents
    keyword : formal methods, practice and experience
  • Formal Approaches to Software Developent
    keyword : Formal Specification, Domain Modelling, System Development Methodologies, Support Tools
    1988.08Formal Approaches to Software Development.
Current and Past Project
  • Formalization of Software Specifications
Academic Activities
1. Tatsuo Okada, Keijiro Araki and Hiroaki Nishino, TENCON2010 - 2010 IEEE Region 10 Conference, IEEE, 2010.11.
2. Zhiming Liu and Keijiro Araki, Theoretical Aspects of Computing, Springer-Verlag, 2004.09.
3. Keijiro Araki, Stefania Gnesi, Dino Mandrioli, FME 2003: Formal Methods, Springer-Verlag, 2003.09.
4. Keijiro Araki, Andy Galloway, Kenji Taguchi, IFM'99 - Proceedings of the 1st International Conference on Integrated Formal Methods, Springer -Verlag, 1999.06.
1. 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.
2. 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.
3. Yuji Arichika and Keijiro Araki, Formal Modeling for Information Appliance Using MVC Architecture, Proc. of International Symposium on Future Software Technology 2004, 2004.10.
Works, Software and Database
1. .
2. ViennaTalk is a Smalltalk library to handle VDM-SL specifications.
Professional and Outreach Activities
VDMTools Open Source Site: