伊永祥太, 鷲崎弘宜, 吉田裕介, 筧捷彦, 深澤良彰, 山戸昭三, 大久保雅司, 玉木学, “情報システム開発の実践的講座におけるチーム構成と教育効果の関係”, 工学教育, Vol.61, No.X, pp.XX-YY, 日本工学教育協会, 2013. (PDF, 工学教育2013.pdf)

概要

実務経験を持たない大学生を対象とした演習中心の情報システムの受発注に関する実践的講座において，教育効果を高めるための適切なチーム構成の方法は知られていない．そこで我々は，チーム構成が教育効果にもたらす影響を分析するための枠組みを設計し，その枠組みを実際の実践的講座に適用した．適用結果の分析により，情報システム開発の実践的講座において，基礎系の知識・技能のより多い習得，議論の活発化を期待するのであれば，保全・安定因子が大きい，かつ変化や安定の指向性についてまとまったチーム構成とするとよいということがわかった．また，類似または同一講座の実施にあたり，本研究に基づいてチーム構成を適切に行うことで，望むような教育効果を得ることができると期待する．

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 20th Conference on Pattern Languages of Programs (PLoP 2013), pp.XX-YY, Allerton Park in Monticello, IL, October 23-26, 2013. (PDF, PLoP2013-35.pdf)

Abstract

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

坂本 一憲、下條 清史、徳本 晋、上原 忠弘、杉本 元気、本田 清、鷲崎 弘宜、深澤 良彰、”リスク算出式を変更可能なバグローカリゼーションフレームワーク”、ソフトウェアエンジニアリングシンポジウムSES2013 併設ワークショップ「プログラム・デバッグ自動化の現状と今後」、2013年9月11日  (PDF, SES2013_WS1）

概要

バグローカリゼーションはソースコード中のバグの位置を推定することで，デバッグに必要な労力を削減する有用な手法である．我々は過去に複数のプログラミング言語に対応して，かつ，ステートメントなどのプログラム要素の実行履歴を元に計算するリスク算出式を変更可能な，バグローカリゼーションフレームワークを提案した．本論文では既存研究のバグローカリゼーション手法が利用する情報を整理することで，提案フレームワークがどのような手法に対応可能であるかを議論する．

鷲崎弘宜、”ゴール指向の測定評価と留意 – GQMパラダイムと拡張 -”、メトリクス公団、Vol.1、TEF東海メトリクス勉強会、2013.

概要

測定は、明確な目標を伴うものでなくてはならない。さもなくば、測ることが目的化してしまいかねない。事実、「ツールで測っているけれど誰も結果を使っていない」といった測定が形骸化した状況や、「追加で測れと言われても余計なことはしたくない」といった測定への抵抗感をしばしば耳にする。

明確に目標を据えて、目標に対して必要なメトリクスを対応付けるゴール指向（目標指向）な枠組みとして、Basiliらにより考案されたGoal/Question/Metricパラダイム（以降GQMパラダイム）が知られている。しかしGQMパラダイムそのものは、測定上の目標を上位の目標（例えば組織の目標）へと結びつける仕組みを提供しない。そこで同じくBasiliらによって、GQMパラダイムをベースとして、組織活動における組織目標や戦略、さらには測定上の目標を結びつけるGQM+Strategiesが考案されている。

また他にも、メトリクスの導出に至る際の事実と仮定の区別など、GQMパラダイムの適用にあたり考慮すべき様々な事柄があり、対応した様々な拡張が提案されている。そこで本稿では、最初にGQMパラダイムの概要を解説し、続いてその留意点とGQM+Strategiesを中心とした拡張を解説する。

鷲崎弘宜、本田澄、深澤良彰、”不確定性と時間変化を含む一般化信頼性モデル”、メトリクス公団、Vol.1、TEF東海メトリクス勉強会、2013.

概要

昨今、開発において様々な課題があげられている。ソフトウェア開発において開発の見積もりや工数の予測については、経験や勘といった属人的要素をもって判断材料とすることがほとんどである。また、比較的早期な開発や、人員の不足が蔓延しており、開発の終了をどのようにして決定していいかどうか、明確な基準がない。

従来の研究において、こうした課題に対していくつかの提案がなされてきた。一つは、どれだけの規模のソフトウェアになるか見積もることである。過去の開発実績に基づき新たに開発するソフトウェアに対して、工数やLOCを見積もる、デルファイ法やCOCOMOなどが挙げられる。もう一つは、開発する規模に応じてどれだけの欠陥を発見すれば開発を終了とみなせるかどうかを予測することである。この、欠陥の予測については様々な手法が提案されている。特にソフトウェア信頼性モデルが有名である。

ソフトウェア信頼性モデルでは、実際の開発から得られた発見された欠陥数と時間の関係を統計的に解析するモデルとして、ゴンペルツ曲線モデルやロジスティック曲線モデルが用いられる。この方法は実際のデータに対して近似曲線へのあてはめを行うものであり、欠陥の発見に根拠を考慮したものではない。本稿では、欠陥の発見に確率的原因を根拠とし，考慮し確率モデルを用いた、非同次ポアソン過程（non-homogeneous Poisson process:以下、NHPPと省略する）モデルについて説明を行い、我々が提案するモデルと比較を行う。

従来の信頼性モデルでは開発における時間変化や不確定性を十分に考慮することができないため，我々は開発における時間変化と不確定性を考慮した新しいモデルを提案する。この2つを考慮したモデルを用いることで、開発期間をより精度よく予測できるようになり、事前に精度よく見積もることが可能となる。

鷲崎弘宜、鈴木翔太、”アジャイル開発習得ワークショップの傾向と効果”、Ultimate Agile Stories Iteration3、2013.

概要

アジャイル開発の手法や原則・マインドについて理解を深めて習得するために様々なワークショップが開催されていますが、その効果はこれまで必ずしも明らかではありませんでした。習得のためには他にも、独学や講義などの様々な形態があります。有効な範囲や前提・効果に応じて、それらを使い分けたり組み合わせることで、限られた時間やリソースを効率よく用いて効果的な習得を進められることが期待できます。そこで私の研究グループでは、アジャイル開発の手法や原則・マインドの習得に関するワークショップの最近の実施状況を、Web検索によって調査しました。そのうえで習得内容を幾つかの原則とその習得ワークショップに絞り、被験者実験によって、調査した範囲においては書籍による独学よりもワークショップのほうが学習効果があることを確認しました。学習効果の定量化については、習得度測定テストとして「アジャイルマインドチェック」を作成して用いました。本稿では、その方法や結果の要点を以下に説明します。

Kazunori Sakamoto, Koichi Takano, Hironori Washizaki, Yoshiaki Fukazawa, “Learning System for Computational Thinking using Appealing User Interface with Icon-Based Programming Language on Smartphones,” Proceedings of the 21st International Conference on Computers in Education (ICCE 2013), pp.XX-YY, November 18-22, Grand Inna Bali Beach Hotel, Denpasar Bali, Indonesia, 2013. (short paper)(PDF)

Abstract

Computational thinking is one of the most important skills for using computers. Most existing learning environments for computational thinking work only on desktop or laptop
computers although the popularity of smartphones has rapidly been growing. Moreover, Most existing programming languages are based on English. However, Japanese students tend to not like such languages due to English. We propose a gamified learning system using an appealing user interface with a novel icon-based non-verbal programming
language. Our system works on smartphones with which many Japanese teenager students are more familiar than PCs. Our system uses an appealing interface and icons to motivate university students to learn programming through playing. We applied an appealing interface which a female student designs for other female students into our system, and then, conducted an experiment with 16 female students from Waseda University in Tokyo, Japan to evaluate our system. We confirmed our system encouraged and motivated the students to learn programming.

Hironori Washizaki, Shota Suzuki, Ryushi Shiohama, Masashi Kadoya, Kazunori Sakamoto and Yoshiaki Fukazawa, “Systematic Mapping of Workshops for Learning Agile Software Development Principles,” Proceedings of the International Conference on Edcuation and Educational Research (EER 2013), pp.XX-YY, August 11-12, Singapore, 2013.(PDF)

Abstract

Agile software development is aimed at minimizing overall risk and encouraging rapid and flexible response to specification changes by using an iterative process. There are many workshops for learning agile software development principles (hereafter “agile principles“) such as the collaboration with customers and software working. These workshops are usually introduced on the Internet websites. Due to high number and variety of available workshops, it is preferable to grasp the trend of workshops. In this paper, we survey the trend of agile development workshops by utilizing the Systematic Mapping technique. By the survey, we reveal the recent trend of workshops for learning agile principles available on the Internet. Moreover we represent these recent workshops for learning agile principles in detail.

Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden, “Automated Verification of Pattern-based Interaction Invariants in Ajax Applications,” Proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering (ASE2013), pp.XX-YY, Silicon Valley, California, November 11-15, 2013. (PDF)

Abstract

When developing asynchronous JavaScript and XML (Ajax) applications, developers implement Ajax design patterns for increasing the usability of the applications. However, unpredictable contexts of running applications might conceal faults that will break the design patterns, which decreases usability. We propose a support tool called JSVerifier that automatically verifies interaction invariants; the applications handle
their interactions in invariant occurrence and order. We also present a selective set of interaction invariants derived from Ajax design patterns, as input. If the application behavior breaks the design patterns, JSVerifier automatically outputs faulty execution paths for debugging. The results of our case studies show that JSVerifier can verify the interaction invariants in a feasible amount of time, and we conclude that it can help developers increase the usability of Ajax applications.

坂本 一憲、鷲崎 弘宜、深澤 良彰、”プログラミング初学者向けコンテストシステム”、日本ソフトウェア科学会 第30回大会、東京大学本郷キャンパス、2013年9月10-13日 (PDF)

概要

プログラミングコンテストは効果的にプログラミングを学習できる教育手法として注目を浴びており，様々な教育機関にてコンテストシステムの導入が進んでいる．一方，コンテストは企業の人材採用のために実施されていることが多く，プログラミングに習熟した学生やプログラマーを対象としたものが主であり，初学者を対象としたコンテストとコンテストシステムの普及が進んでいない．本論文では，問題を解くプログラムのソースコードの代わりに，出力データの提出を求めるようなコンテストとシステムを提案する．提案コンテストではプログラムを作成して問題を解かなくとも，電卓や表計算ソフトで出力データを求めて解くことができる．提案コンテストを早稲田大学の学部2 年生に対して実施して，その際のコンテストの事前と事後のアンケート調査の結果から有効性を評価する．