サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料 日付更新(2017年7月)

1,000円以上の注文で3%OFFクーポン(0922-28)

ソフトウェア ランキング

ソフトウェアのランキングをご紹介します一覧を見る

前へ戻る

次に進む

収録作品一覧

ソフトウェア工学の基礎 23 日本ソフトウェア科学会FOSE 2016

ソフトウェア工学の基礎 23 日本ソフトウェア科学会FOSE 2016 (レクチャーノート/ソフトウェア学)

  • 阿萬 裕久(編)/ 横川 智教(編)/ 武市 正人(編集委員)/ 米澤 明憲(編集委員)
作品 著者 ページ
英語の試験を解くソフトと翻訳を評価するソフト 磯崎秀樹 著 1−2
開発現場への導入を想定したOSS事前評価手法確立に向けた調査 松本卓大 ほか著 3−12
ライセンス特定のためのルール自動生成を目的としたライセンス記述パターン抽出手法 東裕之輔 著 13−22
プログラミング言語の構造を考慮したAPI利用例検索ツール 竹之内啓太 著 23−32
データ構造と関数定義に着目したプログラミング学習者用テストケース評価記述方法の提案 小林悟 ほか著 33−42
位相型ソフトウェア信頼性モデルのモデル選択に関する考察 岡村寛之 著 43−52
工数予測における欠損値補完手法の評価 戸田航史 著 53−62
メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ 松元稿如 著 63−72
情報流解析のためのJavaアノテーション 吉田真也 著 73−82
キャプチャデータからのテスト条件抽出に基づくOSS Webアプリのテストセットの評価と強化 宗像聡 ほか著 83−92
宣言的な可変性記述によるA/Bテストの自動化 渡辺啓介 ほか著 93−102
ソースコードの削減可能量計測ツールの開発 上村恭平 ほか著 103−108
アルゴリズミックデバッグにおける正誤判定の効率化と半自動化 山崎將史 ほか著 109−114
バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査 今西洋二 ほか著 115−120
Javaバイトコードのデータ依存関係解析手法 杉山安洋 著 121−126
継続渡しスタイルのラムダ計算に基づく破壊的風静的単一代入形式の関数型プログラミング言語 島和之 著 127−132
検証性質に関わる解空間の可視化による協調解析支援 兎澤佑 著 133−138
SOFL非形式仕様の図化支援ツール 鈴木優也 著 139−144
プログラミング中のマウスクリックによる注視点補正法の有効性評価 高橋圭一 著 145−150
コードレビューにおける年齢による差異の分析の試み 村上優佳紗 著 151−156
OSS開発のコードレビュー依頼に貢献する開発者の予測 小野健一 ほか著 157−162
依存関係の向きが変更波及解析に与える影響の分析 上田裕己 著 163−168
SPLの近似的製品導出における近似度に関する考察 岸知二 著 169−174
コンテキストアウェアネスを考慮した組込みシステムのためのアスペクト指向アーキテクチャの適用と実現 江坂篤侍 ほか著 175−180
DevOpsを想定した実行可能仕様によるソフトウェア保守 大森洋一 著 181−186
動的ログを用いた業務アプリケーションの影響波及分析の試み 加藤光幾 ほか著 187−192
日本語表現の違いに着目した要求記述の分析と記述支援手法の改良 滝沢陽三 著 193−198
Layard:IoTシステムの要求分析におけるアクタ中心のモデル図 小形真平 ほか著 199−204
安全性要求分析方法の提案と自動ブレーキシステムへの適用評価 松原百映 著 205−210
テスト計画に対する要求カバレッジ可視化手法の提案 松井勝利 著 211−216
ウェブアプリケーション開発のためのPHPオンライン部分評価器の試作 吉田敦 著 217−222
シンスライシングを用いたWEBアプリのための設定ファイル参照ミス検知手法の試作と評価 依田みなみ ほか著 223−228
実行時例外に伴う情報流の型検査に基づく解析手法 桑原寛明 著 229−234
Eclipse Pluginを想定した類似メソッド検索機能を含む開発支援手法の提案 尾花将輝 著 235−240
エッジ指向IoTアーキテクチャの提案 濱野真伍 著 241−242
ロジスティック回帰分析を用いた組合せテストの不具合特定法の提案 西浦生成 著 243−244
失われたコメントが語るもの 大森隆行 著 245−246
メソッド名の先頭単語とソースコードの安定性の関係に関する考察 鈴木翔 著 247−248
MQTT実装のモデルベーステスト 米山惇 ほか著 249−250
一人で開発・保守が行われているソースファイルの品質について 山内一輝 著 251−252
Modbatを用いたApache ZooKeeperのモデルベーステストにおける探索アルゴリズムの改善 坂西一暁 ほか著 253−254
並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察 張漢明 著 255−256
Word2Vecを用いた類義語によるコード片検索の検討 内山武尊 著 257−258
CI法の観点を考慮した認知的ウォークスルーの質問項目作成指針の提案 加藤駿 著 259−260
組込み開発におけるセンサデータと実際の動作との対応付け 井上アラン 著 261−262
大規模な脆弱性検査のためのLALR(1)によるプログラムコードのKey‐value変換と検出への適用 安藤類央 著 263−264
ソースコード編集履歴を用いた競合解決支援ツール 西村雄一 著 265−266
Analogy手法における正規化方向による比較 矢野博暉 著 267−268
技術的負債を示唆するコメント文の分布について 三宅悠登 著 269−270
組込みシステムにおける要求分析モデルからのテストケース導出手法 西川俊 著 271−272
インライン展開と制御構造の系列要素化を組合わせたAPI利用パターン抽出 相澤遙也 著 273−274
二次元系における自己位置推定の振舞い検証に向けて 渡邊亮 著 275−276