ソフトウェア工学の基礎 22

日本ソフトウェア科学会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次経済革命を支えるソフトウェアの工学 サービス研究から見る無形労働 無形労働としてのソフトウェア開発に関する一考察

著者

青木, 利晃、豊島, 真澄、武市, 正人, 1948-、米沢, 明憲, 1947-

出版社

近代科学社

発売日

2015年11月発売

価格

5,800円（税込・書誌情報提供：openBD）

ISBN

9784764904965

発売済み