目次
日本ソフトウェア科学会FOSE 2015
ゲームとエンターテインメント
変数の型を考慮したメソッド間の実行経路の検索
プログラム変換ルールを用いたプログラム自動要約フレームワークの構築
動的情報に基づくソフトウェア縮退実行機構の提案
原型分析による活動履歴からのOSS貢献者プロファイリング
不確かさを包容するソフトウェア開発プロセス
利用する過去情報の選定によるPBL向け工数見積り支援ツールの精度改善
形式仕様に基づくテストケースの自動生成支援ツールの開発
業務システム向けの分岐網羅テストケースの生成手法
テストケース作成自動化のための意味役割付与方法
可能な限り仕様を満たすリアクティブシステムの合成
音声認識システムの語彙列受理可能性テスト自動化
命令型プログラミング言語における初学者向け動作理解支援ツールの提案
Webアプリケーションフレームワーク用のコード生成ツールによるプロトタイプ開発支援
データ駆動要求工学D2REの提案
SPLにおける近似的製品導出に関する一考察
大規模システム向け仕様ルール整合性検証方式
拡張要求フレームモデルによる応答性に関する要求の検証
シェイプに基づくRDF文書検証定義と検証方法の提案
SMTに基づくシステム部品組合せ設計検証手法
段階的検査法にモジュラ化手法を用いたモデル検査の実用化
情報量に基づく非機密化プリミティブの記述位置候補の順位付け
自然言語ドキュメントの形式化モデリングについて
VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認
UMLモデリング教育を支援するルールベースのクラス図採点支援ツール
個人商店向け業務アプリ開発と運用によるソフトウェア工学教育の実践
ソフトウェア開発におけるWeb検索行動の分析
インタラクションに注目したアジャイル開発における設計スキルの育成手法
ワークフローマイニングに基づく潜在的因果関係を考慮した変更推薦モデルの構築
コードレビューのジレンマ
UX設計のためのユーザインサイト獲得方法の提案
複数コンテキストドメインにまたがるLinked Dataを用いたコンテキストアウェアな情報提供方法の提案
インタラクティブロボットのUML要求仕様と実装
答案自動振り分けにおけるセンサ選定手法の提案
テスト実行者情報を考慮した0-1計画モデルによる効率的なテストケース選択手法の提案
Webアプリケーションに対する回帰テストオラクル自動生成
ユースケース記述に基づくモックアップを利用したテストシナリオ生成ツール
モデル検査によるドローンの安全確認
適応型コンテキストモデル生成方法の提案と評価
スマートフォンアプリケーション設計に特化したUML及びGUIビルダによる相互的なモデリング手法
自転車事故防止システム開発におけるセンサデータの表示方法の検討
Code:Code Oriented Diagram Editor
Javaの参照型変数と配列の静的null検出
脳波計測を用いたプログラム理解タスクの判別
ソフトウェア技術者の「たらい」
第3次経済革命を支えるソフトウェアの工学
サービス研究から見る無形労働
無形労働としてのソフトウェア開発に関する一考察
