Last modified date：2016.05.23
Professor / Advanced Software Engineering / Department of Advanced Information Technology / Faculty of Information Science and Electrical Engineering
荒木 啓二郎, Effective Introduction of Rigorous Specification to High-Quality Software Development, 7th Asia-Pacific Council on Systems Engineering Conference, 2013.09.09.
System Modelling and Formal Specification.
Unauthorized reprint of the contents of this database is prohibited.
Copyright © 2006, Kyushu University. All rights reserved.