Prof. Washizaki joined Panel session on 2nd day of SEKE 2014 as Panelist, and gave a short talk on Future of SEKE, Software Engineering and Knowledge-Engineering (slide available on SlideShare).

Major topics in SEKE, ICSE, KDD/CIKM in 10 years have been investigated. Moreover according to those topics, best papers at SEKE 2015 are predicted!

Jonatan Hernandez, Hironori Washizaki, and Yoshiaki Fukazawa, “Using an Automatic Collection Method to Identify Patterns during Design Activity,” Proceedings of 11TH Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2014), 17-20, September, Volgograd, Russia (to appear) (JCKBSE2014_216.pdf)

Although design is an extremely important activity in software development, it is subjective because it depends on the designers’ knowledge and skills. Every designer has her or his own strategies to solve design problems. Herein we model the design process as an ordered sequence of logical actions of “Create”, “Delete”, and “Modify” applied to the elements of a UML class diagram, and propose an automatic approach to collect information about the design process to elucidate design strategies. The strategies considered are top-down, bottom-up, breadthfirst,
depth-first, and opportunistic. By mining the ordered sequences of actions for frequent patterns and analyzing the position and distribution of the actions in the sequence, we obtained two types of relationships in the design process: micro-patterns and macro-patterns. Then we evaluated our approach with two case studies. The first one, which occurred over a short time frame with seven subjects, identified the strategies used, while the second, which involved three subjects over a long period, revealed that there is not a universal strategy, but a combination of strategies.

■参加募集・申込締切延長 7月4日まで

ACM 国際大学対抗プログラミングコンテスト 2014 アジア地区予選 東京大会
ACM International Collegiate Programming Contest
Asia Regional Contest 2014 in Tokyo, Japan
http://icpc.iisf.or.jp/2014-waseda/

ACM 国際大学対抗プログラミングコンテストは，ACM（Association for
Computing Machinery）が主催する大学生を対象にした世界的規模のプログラ
ミングコンテストです。2014 年度で第 39 回を迎えます。2013 年度大会では，
全世界 94 カ国の 2,286 大学から 32,043 人が世界各国で開催された地区予選
に参加しました。コンテストでは，3 名の学生と 1 名のコーチからなるチーム
が，できるだけ多くの問題をできるだけ短時間で解くことを競います。

今般アジア地区予選の一つとなる東京大会への参加を募集します。日本で開催さ
れるアジア地区予選は通算 17 度目で，今回は早稲田大学が 3 度目のホスト校
となって東京大会を行います。

大学生のプログラミング技術を競う国際大会として，国内外から高い評価を与え
られている場ですので，プログラミング技術を磨き世界の頂点を目指したい学生
がたくさん参加されることを期待しています。今年もおかげさまで300を超える
チームから既に参加申し込みをいただいていますが，申し込み手続きに時間を
要しているチームが多いため締切を7月4日まで延長しました。無論，今からの
新たなチームの申し込みを歓迎します。

■国内予選

国内予選は，本コンテストの第一関門です。国内予選で上位に入ると，10 月開
催の東京大会に出場できます。開催要項・参加資格などは次の通りです。
国内予選で特に成績優秀なチームは，台湾・韓国など他の国で開催されるアジア
地区予選に派遣されるチャンスもあります。

参加チーム： １チーム 3 名の学生とコーチ１名
<選手> 同じ大学（大学院も含む）・短大（専攻科も含む）・高専（4 年次以
上；専攻科も含む）に在籍し，大学・短大入学後（高専では 3 年次修了
後）5 年以内であること，など（資格の詳細は WWW ページを参照）
<コーチ> 教員あるいは大学院生
参加申込： http://icpc.iisf.or.jp/2014-waseda/ の「参加登録」から手続き
申込締切： 2014 年 7 月 4 日（金）
開催日： 2014 年 7 月 11 日（金） 16 時半～19 時半
場所： 各大学（インターネット使用）
問題記述： 英文（ただし、国内予選では日本語も併記）
使用言語： C，C++，Java

参加申込はコーチが行ってください。1 名が複数のチームのコーチになることも
可能です。 国内予選通過チームには，東京大会出場に係る旅費の補助および宿
泊先の用意を予定しています。

■アジア地区予選東京大会

国内予選を通過したチームが参加します。アジア地区予選東京大会の優勝チーム
は 2015 年春に行われる世界大会に招待されます。2 位以下のチームでも世界各
地区への枠の配分によっては，世界大会進出の可能性があります。

日時： 2014 年 10 月 18 日（土）～20 日（月）
10 月 18 日（土）： 参加受付、トライアルユース（練習）など
10 月 19 日（日）： コンテスト本番、表彰式など
10 月 20 日（月）： エクスカーション（企業見学予定）
場所： 国立オリンピック記念青少年総合センター（東京都渋谷区）
主催： 早稲田大学，(公財)情報科学国際交流財団
後援（予定）： 文部科学省，総務省，経済産業省，(独)科学技術振興機構，
情報サービス産業協会
協賛（予定）： 情報処理学会，日本ソフトウェア科学会
スポンサー：
IBM, AtCoder, ワークスアプリケーションズ, LINE, ドワンゴ,
Wantedly, DreamArts, KLab, グリー, エム・ソフト, NTTコムウェア 他

実行委員長： 鷲崎 弘宜（早稲田大学）
審判長： 田中 哲朗（東京大学）

■ご質問・お問い合わせ

ACM-ICPC 東京大会実行委員会
URL: http://icpc.iisf.or.jp/2014-waseda/
E-mail: icpc2014@list.waseda.jp

野村典文、井出昌浩（早稲田大学ゴール指向経営研究会）、「残念なシステム」のなくしかた、第2回 その戦略の根拠は？「事実」と「仮定」を区別しよう、日経情報ストラテジー、日経ITPro、2014/05/28

Global Software Engineering Laboratory, Waseda University (Head: Hironori Washizaki) organized miniPLoP@Taipei jointly with Software Systems Lab, Taipei Tech on May 29th 2014. Hironori Washizaki gave keynote ( “Introduction to Patterns” ) and invited talk ( “PLoP, AsianPLoP, and Patterns Community in Japan” ).

Masatoshi Yoshizawa, Takanori Kobashi, Hiroyoshi Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya and Nobukazu Yoshioka, “Verification of Implementing Security Design Patterns Using a Test Template,” Proceedings of 9th International Conference on Availability, Reliability and Security (ARES2014), pp.XX-YY, Fribourg, Switzerland, 8th-12th September 2014. (to appear) (Verification of Implementing Security Design Patterns Using a Test Template.pdf)

Although security patterns contain security expert knowledge to support software developers, these patterns may be inappropriately applied because most developers are not security specialists, leading to threats and vulnerabilities. Here we propose a validation method for security design patterns in the implementation phase of software development. Our method creates a test template from a security design pattern, which consists of the “aspect test template” to observe the internal processing and the “test case template”. Providing design information creates a test from the test template. Because a test template is recyclable, it can create easily a test, which can validate the security design patterns. As a case study, we applied our method to a web system. The result shows that our method can test repetition in the early stage of implementation, verify pattern applications, and assess whether vulnerabilities are resolved.

鷲崎 弘宜、平林 大典（早稲田大学ゴール指向経営研究会）、「残念なシステム」のなくしかた、第1回 「正しく」できても「正しいことをやる」のができない理由、日経情報ストラテジー、日経ITPro、2014/05/14 http://itpro.nikkeibp.co.jp/article/COLUMN/20140430/553946/

Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, “Predicting the Release Time Based on a Generalized Software Reliability Model (GSRM),” Proceedings of the 38th Annual IEEE International Computers, Software, and Applications Conference (COMPSAC), Fast Abstract, pp.XX-YY, Västerås, Sweden 21–25 July, 2014. (to appear) (compsac2014_submission_494.pdf)

Development environments have changed drastically, development periods are shorter than ever and the number of team members has increased. Especially in open source software (OSS), a large number of developers contribute to OSS. OSS have difficulties in predicting or deciding when it will release. In order to assess recent software developments, we proposed a generalized software reliability model (GSRM) based on a
stochastic process, and compared GSRM with other models. In this paper, we focus on the release dates of OSS and the growth of faults (issues).

Linchao Yang, Tomoyuki Kamiya, Kazunori Sakamoto, Hironori Washizaki and Yoshiaki Fukazawa, “RefactoringScript: A Script and Its Processor for Composite Refactoring,” Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), pp.XX-YY, Vancouver, Canada, July 1-3, 2014. (to appear) (seke2014_submission_191.pdf)

Abstract—Refactoring is widely recognized as a method to improve the internal qualities of source code. However, manual refactoring is time-consuming and error prone. Consequently, many tools to support automated refactoring have been suggested, but most support only unit and simple refactoring, making it difficult to perform composite refactoring (e.g., introducing a design pattern) where a refactoring set is applied at one position or the same refactoring operation is applied at multiple positions. In this paper, we propose a novel script language and its processor to describe how and where to refactor by a model expressing source code*1. Evaluations indicate that our language and processor allow refactoring steps to be described as scripts, which can be easily replayed and reused for multiple projects.

3年生の2014年度プロジェクト研究希望者を受け入れます。上級生との混成チームによるETロボコンへの参戦、プログラミングコンテストの開発・運営、もしくは、再利用・品質保証を中心としたソフトウェアエンジニアリング研究の先取りとなります。希望者は washizaki _at_ waseda.jp へ事前に相談してください。学科連絡事務室への申請締切は4月9日17:00です。