Education Thesis

♦Top SE Project
C. Artho, K. Taguchi, Y. Tahara, S. Honiden, Y. Tanabe, “Teaching Software Model Checking” to appear in Formal Methods in Computer Science Education (FORMED) ’08, Budapest,2008.

K. Taguchi, Y. Tahara, “Curriculum Design and Methodologies for Security Requirements Analysis”, Progress in Informatics, No. 5, pp. 19-34,(2008)

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, and Hironori Washizaki, "Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan," Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), ACM Press, pp.708-717, 2007.

T. Tsumaki, H.Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden, “Errors and Misconceptions in Learning i*”, in Proceedings of the 2nd International Workshop on Requirements Engineering Education and Training, 2007.

Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa, “Automatic Extraction and Verification of Page Transitions in a Web Application”, Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), IEEE Computer Society, pp.350-357, 2007.