Masashi Kadoya, Toshiyuki Nakano, Takamori Ozawa, Masahiko Wada, Hiroki Itoh, Hironori Washizaki, Yoshiaki Fukazawa, “A pattern language for the ET robot contest: On embedded software engineering,” Proceedings of the 3rd Asian Conference on Pattern Languages of Programs (AsianPLoP 2014), pp.XX-YY, Tokyo, March 5-8, 2014. (draft)

A pattern language for participants in the Embedded Technology (ET) robot contest is extracted. Because the ET robot contest is a software design competition that provides young engineers or students with an opportunity to learn embedded software engineering, most participants are beginners and have difficulty designing the robot. To help participants, we have published an extracted a pattern language on a website. This pattern language, named the ET Robocon Strategy, consists of 40 patterns extracted from our technical knowledge and contest experience. In this paper, five patterns that an engineer can apply to develop a robot with wheels are introduced.

新井慧, 坂本一憲, 鷲崎弘宜, 深澤良彰, “得点による競争原理を用いた静的解析ツールによる欠陥除去の促進”, 電子情報通信学会ソフトウェアサイエンス研究会, 2014年3月研究集会, 2014. （65247-manu.pdf）

プログラムの欠陥を検出する静的解析ツールは，ソフトウェアに作りこまれた欠陥の早期発見に役立つことが知られている．一方，欠陥の誤検出や些細な欠陥の報告が多すぎるといった問題点があり，その有用性にもかかわらず静的解析ツールの普及は進んでいない．上述の問題点を解決するため，より正確な静的解析を実現するための研究が広く進められている．しかし，これらの研究は，検出数の多さから欠陥が無視されがちになる問題を直接的に解決するための研究ではない．本論文では，静的解析ツールを利用する開発者の欠陥修正に対するモチベーションを向上させ，報告された欠陥がより多く修正されるような仕組みを提案する．静的解析によって報告される欠陥をより多く修正させるように動機づけることで，開発者が報告される欠陥を無視しがちになる問題を緩和し，ソフトウェアの品質向上を図る．提案する仕組みの有用性を確認するため，提案する仕組みを導入したツールを開発し，被験者実験を行った結果，ツールを利用することによっておよそ1.5 倍ほど多くの欠陥が修正されることを確認した．

日野 克哉, 鷲崎 弘宜, “UI 設計のためのHTML デザイン パターン”, Proceedings of the 3rd Asian Conference on Pattern Language of Programs (AsianPLoP 2014), pp.XX-YY, Tokyo, March 5-8, 2014. (to appear)

Eduardo B. Fernandez, Nobukazu Yoshioka, and Hironori Washizaki, “Patterns for cloud firewalls,” Proceedings of the 3rd Asian Conference on Pattern Language of Programs (AsianPLoP 2014), pp.XX-YY, Tokyo, March 5-8, 2014. (to appear)

Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki and Joseph Yoder, “Abstract security patterns for requirements and analysis of secure systems,” Proceedings of the 17th Workshop on Requirements Engineering (WER 2014), pp.XX-YY, Pucon, Chili, April 23-25, 2014. (to appear)

Yusuke Yamada, Shota Inaga, Hironori Washizaki, Katsuhiko Kakehi, Yoshiaki Fukazawa, Shoso Yamato, Masashi Okubo, Teruhiko Kume, Manabu Tamaki, “The Impacts of Personal Characteristic on Educational Effectiveness in controlled-Project Based Learning on Software Intensive Systems Development,” Proceedings of the 27th Conference on Software Engineering Education and Training (CSEE&T 2014), pp.XX-YY, Alpen-Adria Universitat Klagenfurt, Austria, April 23-25, 2014. (to appear) (CSEE&T2014ver34.pdf)

In practical courses on software-intensive business systems, students work in teams to acquire practical skills in systems acquisition and provisioning. However, we do not yet have an established method to determine the optimal team composition to achieve maximum educational effectiveness. In this study, we quantitatively and qualitatively investigate how the personal characteristics and the learning process of team members affect educational effectiveness by examining a university course in which students work in teams on a realistic project in a classroom setting. We use the Five Factors and Stress (FFS) theory and the modified grounded theory approach (M-GTA) to measure the personal characteristics and identify the learning process of each team member. Additionally, we compare the learning process which a team to have high educational effectiveness have with the one which a team to have low educational effectiveness have. As a result, we find that it is better for a team to have members with different personal characteristic as defined by FFS theory in order for the students to acquire more knowledge and skills through the course. Additionally, teams that focus on a smaller portion of the learning process acquire more knowledge and skills. We expect our findings to be applicable to increasing the educational effectiveness of other similar practical courses.

鷲崎 弘宜, 大河原 洸太, 原 章浩, 深澤 良彰, “アスペクト指向プログラミングによる高性能・低消費電力化”, 電子情報通信学会ソフトウェアサイエンス研究会2014年1月, IEICE SIGSS, 2014. (to appear) (SIGSS-アスペクト指向性能向上-20140109.pdf)

特定の品質要求を満足するためのプログラムコードはしばしば、プログラムの基本的なモジュール構成に対して横断的に散らばることが知られている。そのような横断的関心事のモジュール化を通じて保守性を維持あるいは高めることに有効な技術として、アスペクト指向プログラミング（Aspect-Oriented Programming: AOP）がある。本稿では、AOPの実行性能や品質向上に関する応用として、マルチコア環境における単体テスト実行時間の短縮を目的とした単体テストフレームワークJUnitのAspectJ（Java言語用のAOP処理系）によるマルチスレッド化と、ロボット制御プログラムの低消費電力化を目的としたハードウェア制御方式やアルゴリズムのAspectC（C言語用のAOP処理系）による追加および変更の事例をそれぞれ報告する。

Satoru Uchiyama, Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa, “Detecting Design Patterns in Object-Oriented Program Source Code by using Metrics and Machine Learning”, Special Issue on Design Patterns, Journal of Software Engineering and Applications, Vol.7, No.X, pp.XX-YY, 2014. (to appear) (JSEA-DP-2014.pdf)

Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of object-oriented programs can be improved. There are automated detection techniques; however many existing techniques are based on static analysis and use strict conditions composed on class structure data. Hence, it is difficult for them to detect and distinguish design patterns in which the class structures are similar. Moreover, it is difficult for them to deal with diversity in design pattern applications. To solve these problems in existing techniques, we propose a design pattern detection technique using source code metrics and machine learning. Our technique judges candidates for the roles that compose design patterns by using machine learning and measurements of several metrics, and it detects design patterns by analyzing the relations between candidates. It suppresses false negatives and distinguishes patterns in which the class structures are similar. As a result of experimental evaluations with a set of programs, we confirmed that our technique is more accurate than two conventional techniques.

Shota Inaga, Hironori Washizaki, Yusuke Yamada, Katsuhiko Kakehi, Yoshiaki Fukazawa, Shoso Yamato, Masashi Okubo, Teruhiko Kume, Manabu Tamaki, “Relationships Between Variations of Personal Characteristics and Educational Effectiveness in Group Assignment of Software Intensive Systems Development,” Proceedings of the 8th International Technology, Education and Development Conference (INTED 2014), pp.XX-YY, March 10-12, 2014, Valencia, Spain

In this study, we use the Five Factors and Stress (FFS) theory to quantify the personal characteristics and we ask students to answer same questionnaire before and after the lecture to measure how improved their knowledge and skills. This questionnaire consists of about 40 questions and each student answers them in six degrees. As example of the questions, there is “Can you analyse requirements?”. In many cases, the business of acquiring and providing software intensive business systems is carried out as a team-based activity. Therefore, to teach actual business concepts, we randomly compose teams regardless of personal characteristics. The number of teams formed was 6, 4 and 8 for 2011, 2012 and 2013, respectively. This is an additional study of our paper and as significant differences, we add the data of the lecture of 2013 in Waseda University and we analyse the data through 3 years (2011 – 2013).

We investigate the relationships between personal characteristics and educational effectiveness to reveal the common tendency. As a result, we clearly see that variations in the team members’ personal characteristics have an effect on educational effectiveness from t-test and boxplot. It is better for a team to have members with different characteristics in FFS theory for acquiring more knowledge and skills through lecture. It is expected that in similar practical lectures, we can also obtain the desirable educational effectiveness if we can compose a team with the suitable characteristics as based on our findings.

Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara and Hironori Washizaki, “Semi-automatic Incompatibility Localization for Re-engineered Industrial Software,” Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), pp.XX-YY, Cleveland, March 31-April 4, 2014. (to appear) https://sites.google.com/site/icst2014/home