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

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


Presentations
1. 荒木 啓二郎, 栗田 太郎, Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case, International Conference on Formal ENgineering Methods, 2016.11.18.
2. 荒木 啓二郎, Effective Introduction of Rigorous Specification to High-Quality Software Development, 7th Asia-Pacific Council on Systems Engineering Conference, 2013.09.09.
3. System Modelling and Formal Specification.