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

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

1. 荒木 啓二郎, Effective Introduction of Rigorous Specification to High-Quality Software Development, 7th Asia-Pacific Council on Systems Engineering Conference, 2013.09.09.
2. System Modelling and Formal Specification.