試験公開中

このエントリーをはてなブックマークに追加

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

近代科学社Digital

4,400円 (4,000円+税)

本書はFOSE主催ワークショップの予稿集(2022年度)。ソフトウェア工学研究の活性化に寄与する情報がまとめられています。

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

関連サイト

本書の関連ページが用意されています。

内容紹介

本書はFOSE主催ワークショップの予稿集(2022年度)。ソフトウェア工学研究の活性化に寄与する情報がまとめられています。

書誌情報

  • 著者: 角田 雅照, 柗本 真佑
  • 発行日:
  • 最終更新日: 2022-11-18
  • バージョン: 1.0.0
  • ページ数: 244ページ(PDF版換算)
  • 対応フォーマット: PDF, EPUB
  • 出版社: 近代科学社Digital

対象読者

ソフトウェア工学,ソフトウェア,ハードウェア,ユーザインターフェース,形式手法,ライブラリ,機械学習,要求設計,見積予測,ソースコード,プログラミングに興味がある人

著者について

角田 雅照

近畿大学情報学部情報学科准教授、博士(工学)

柗本 真佑

大阪大学大学院情報科学研究科助教、博士(工学)

目次

【招待講演】

  • Software Fault Prevention and Verification for Human-Machine Pair Programming

【ユーザインタフェース】

  • Placeona に基づいたモバイルデバイス向け適応型ユーザインタフェースの構築支援
  • 静的解析と動的解析の組み合わせによるUML ステートマシン図答案の誤り特定自動化手法の提案
  • プログラム理解パターン抽出のための構文木と視線移動の自動マッピング手法

【教育】

  • オンラインジャッジシステムの問題選択支援に向けた問題文間の意味的類似度の算出
  • Scratch を用いたプログラミング演習における教員支援を目的とした採点支援システムの提案
  • プログラミング演習におけるセグメントを用いたソースコードの誤り箇所特定方法の提案
  • VR 環境における文字入力支援システム

【形式手法】

  • Rust MIR に対する情報流解析の型システムの検討
  • 形式手法を用いたPID 制御装置の検証
  • 検証パターンに注目した機械学習に基づくモデル検査手法の評価

【ライブラリ】

  • プログラムのベクトル化と記号実行を活用した正誤判定の効率化
  • Python における機械学習関連ライブラリの自動推薦手法の評価
  • ソフトウェア部品の利用関係に基づくクラスタリングの進化分析

【機械学習】

  • DVC リポジトリにおける機械学習パイプラインの進化に関する調査
  • 定形的ログメッセージの除去とクラスタリングによる異常動作ログの検出方法の提案

【要求・設計】

  • 要求獲得における質疑応答履歴のグラフデータベースシステムの実現
  • チェックリストを用いた設計書レビュー支援のための判定ルール自動生成
  • エポックワードと名詞の重要度を用いたソフトウェア仕様書からのゴール文の抽出
  • アヤトゥス・カルタの拡張によるユーザ視点に基づくMVP 抽出手法の提案

【見積・予測】

  • 欠損確率に基づいた欠損データ作成手法の提案とソフトウェア開発データにおける評価
  • Fault-prone モジュール予測における第三者データに基づいた外れ値除去
  • 1事例を通じてのストーリーポイントの有用性と見積もり誤差に対する考察
  • キーストロークとマウス操作に基づくプログラミング能力の分析

【ソースコード】

  • コードクローン検出に基づくIoT を対象とした自動パッチ生成
  • コード難読化ツールの信頼性を評価するフレームワークの検討

【ライブ論文】

  • 群ロボット制御用ソフトウェアアーキテクチャの提案
  • Webアプリケーション開発における欠陥再現の自動化ツールの提案
  • メソッド名の整合性評価のためのデータセット
  • 非エンジニア向けのProgramming by Examplesによるデータ加工支援の試み
  • READMEにおける項目と説明文の一貫性の分析
  • ゲーミフィケーションを用いたC言語の文法やアルゴリズムの学習支援アプリケーションCode Quizの提案
  • GitHubにおける模範プロジェクトの検出とその成長パターンの分類に向けて
  • 育成の観点を取り入れたプロジェクト管理ゲーム
  • ロジックモデルからステークホルダーバリューネットワークへの変換による価値循環の抽出
  • 2つのWeb アプリケーション間の類似する操作対象の対応関係抽出
  • Grad-CAMを用いた画像認識AIの特徴分析の試み
  • システムテストにおけるキーワード駆動テストの適用とキーワードの階層化設計
  • ソフトウェア開発者の信頼度の評価に向けて
  • Web GUIに対するオンラインジャッジシステムプロトタイプの実装
  • 技術的負債に関する課題票の分類モデルに単語分散表現が与える影響の分析
  • 再利用性向上を目的とした数値解析ライブラリ構築パターンの提案
  • SCDVモデルを利用する技術用語に対応した自然言語文書検索の提案
  • Maintainabillity Indexを用いた保守性改善プロセス適用
  • 効率的なソフトウェアアップサイクルのための事例知識ベースの予備的評価
  • 提案依頼書におけるセキュリティ要件の実態調査
  • 自然言語解析を用いた開発プロジェクトリスク状況の定量化・可視化
  • プログラム理解難易度の経時的な変化の可視化
  • ソースコード編集履歴再生器の履歴アノテーションによる拡張
  • Dockerfileの依存関係とビルドエラーの関係分析
  • ゲーム要素を取り入れた情報リテラシー教育の提案
  • スマホゲームにおける課金誘導方法の調査研究
Home 書籍一覧 ソフトウェア工学の基礎29 ▲ ページトップへ戻る