資料詳細

  • 1 件中、 1 件目

[ 和図書 ] ソフトウェア工学の基礎 22 ( レクチャーノート/ソフトウェア学 41 日本ソフトウェア科学会FOSE 2015 )

-- 近代科学社 -- 2015.11 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/9357/22 7107207458 Digital BookShelf
2016/05/31 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7649-0496-5
ISBN13桁 978-4-7649-0496-5
タイトル ソフトウェア工学の基礎
タイトルカナ ソフトウェア コウガク ノ キソ
巻次 22
出版地 東京
出版者 近代科学社
出版者カナ キンダイ カガクシャ
出版年 2015.11
ページ数 9, 248p
大きさ 26cm
シリーズ名 レクチャーノート/ソフトウェア学
シリーズ名のルビ等 レクチャー ノート ソフトウェアガク
シリーズ番号 41
シリーズ番号読み 41
シリーズの編者等 武市 正人／編集委員,米澤 明憲／編集委員
シリーズの編者等の典拠番号

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2015
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウゴ
各巻著者 青木 利晃／編,豊島 真澄／編
各巻の著者の典拠番号

110004548040000 , 110006030940000

価格 ¥5800
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第22回ワークショップの論文集。プログラム解析、開発プロセス、テスト、開発手法、検証などのテーマ別に収録。
一般件名 ソフトウェア工学-ndlsh-01014113
一般件名カナ ソフトウェアコウガク-01014113
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

分類：都立NDC10版 007.63
資料情報1 『ソフトウェア工学の基礎 22』（レクチャーノート/ソフトウェア学 41 日本ソフトウェア科学会FOSE 2015） 　近代科学社　2015.11（所蔵館：中央　 請求記号：/007.6/9357/22　 資料コード：7107207458）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152739220

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
ゲームとエンターテインメント ／ 名人を創り,名人の知を理解する ゲーム ト エンターテインメント 飯田 弘之／著 イイダ ヒロユキ 1-9
変数の型を考慮したメソッド間の実行経路の検索 ヘンスウ ノ カタ オ コウリョ シタ メソッドカン ノ ジッコウ ケイロ ノ ケンサク 竹之内 啓太／著 タケノウチ ケイタ 11-20
プログラム変換ルールを用いたプログラム自動要約フレームワークの構築 プログラム ヘンカン ルール オ モチイタ プログラム ジドウ ヨウヤク フレームワーク ノ コウチク 大村 悠太／著 オオムラ ユウタ 21-30
動的情報に基づくソフトウェア縮退実行機構の提案 ドウテキ ジョウホウ ニ モトズク ソフトウェア シュクタイ ジッコウ キコウ ノ テイアン 小野寺 駿一／著 オノデラ トシカズ 31-40
原型分析による活動履歴からのOSS貢献者プロファイリング ゲンケイ ブンセキ ニ ヨル カツドウ リレキ カラ ノ オーエスエス コウケンシャ プロファイリング 尾上 紗野／著 オノウエ サヤ 41-46
不確かさを包容するソフトウェア開発プロセス フタシカサ オ ホウヨウ スル ソフトウェア カイハツ プロセス 深町 拓也／ほか著 フカマチ タクヤ 47-52
利用する過去情報の選定によるPBL向け工数見積り支援ツールの精度改善 リヨウ スル カコ ジョウホウ ノ センテイ ニ ヨル ピービーエルムケ コウスウ ミツモリ シエン ツール ノ セイド カイゼン 齋藤 尊／著 サイトウ タケル 53-58
形式仕様に基づくテストケースの自動生成支援ツールの開発 ケイシキ シヨウ ニ モトズク テスト ケース ノ ジドウ セイセイ シエン ツール ノ カイハツ 池田 逸人／著 イケダ ハヤト 59-64
業務システム向けの分岐網羅テストケースの生成手法 ギョウム システムムケ ノ ブンキ モウラ テスト ケース ノ セイセイ シュホウ 前田 芳晴／ほか著 マエダ ヨシハル 65-70
テストケース作成自動化のための意味役割付与方法 テスト ケース サクセイ ジドウカ ノ タメ ノ イミ ヤクワリ フヨ ホウホウ 増田 聡／著 マスダ サトシ 71-76
可能な限り仕様を満たすリアクティブシステムの合成 カノウ ナ カギリ シヨウ オ ミタス リアクティブ システム ノ ゴウセイ 冨田 堯／ほか著 トミタ タカシ 77-86
音声認識システムの語彙列受理可能性テスト自動化 オンセイ ニンシキ システム ノ ゴイレツ ジュリ カノウセイ テスト ジドウカ 岩間 太／著 イワマ フトシ 87-96
命令型プログラミング言語における初学者向け動作理解支援ツールの提案 メイレイガタ プログラミング ゲンゴ ニ オケル ショガクシャムケ ドウサ リカイ シエン ツール ノ テイアン 蜂巣 吉成／著 ハチス ヨシナリ 97-102
Webアプリケーションフレームワーク用のコード生成ツールによるプロトタイプ開発支援 ウェブ アプリケーション フレームワークヨウ ノ コード セイセイ ツール ニ ヨル プロトタイプ カイハツ シエン 京谷 和明／著 キョウヤ カズアキ 103-108
データ駆動要求工学D2REの提案 データ クドウ ヨウキュウ コウガク ディーツーアールイー ノ テイアン 藤本 玲子／著 フジモト レイコ 109-114
SPLにおける近似的製品導出に関する一考察 エスピーエル ニ オケル キンジテキ セイヒン ドウシュツ ニ カンスル イチ コウサツ 岸 知二／著 キシ トモジ 115-120
大規模システム向け仕様ルール整合性検証方式 ダイキボ システムムケ シヨウ ルール セイゴウセイ ケンショウ ホウシキ 小山 恭平／著 オヤマ キョウヘイ 121-126
拡張要求フレームモデルによる応答性に関する要求の検証 カクチョウ ヨウキュウ フレーム モデル ニ ヨル オウトウセイ ニ カンスル ヨウキュウ ノ ケンショウ 松本 佑真／著 マツモト ユウマ 127-132
シェイプに基づくRDF文書検証定義と検証方法の提案 シェイプ ニ モトズク アールディーエフ ブンショ ケンショウ テイギ ト ケンショウ ホウホウ ノ テイアン 中島 啓貴／ほか著 ナカシマ ヒロキ 133-138
SMTに基づくシステム部品組合せ設計検証手法 エスエムティー ニ モトズク システム ブヒン クミアワセ セッケイ ケンショウ シュホウ 藤平 達／著 フジヒラ トオル 139-144
段階的検査法にモジュラ化手法を用いたモデル検査の実用化 ダンカイテキ ケンサホウ ニ モジュラカ シュホウ オ モチイタ モデル ケンサ ノ ジツヨウカ 小飼 敬／ほか著 コガイ ケイ 145-150
情報量に基づく非機密化プリミティブの記述位置候補の順位付け ジョウホウリョウ ニ モトズク ヒキミツカ プリミティブ ノ キジュツ イチ コウホ ノ ジュンイズケ 桑原 寛明／著 クワバラ ヒロアキ 151-156
自然言語ドキュメントの形式化モデリングについて シゼン ゲンゴ ドキュメント ノ ケイシキカ モデリング ニ ツイテ 林 信宏／ほか著 リン シンコウ 157-162
VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認 ヴイディーエム プラスプラス ヨウキュウ シヨウ ニ タイスル モウラテキ テスト ニ ヨル スレッド アンゼンセイ ノ カクニン 大森 洋一／ほか著 オオモリ ヨウイチ 163-168
UMLモデリング教育を支援するルールベースのクラス図採点支援ツール ユーエムエル モデリング キョウイク オ シエン スル ルール ベース ノ クラスズ サイテン シエン ツール 宮島 和音／ほか著 ミヤジマ カズネ 169-174
個人商店向け業務アプリ開発と運用によるソフトウェア工学教育の実践 コジン ショウテンムケ ギョウム アプリ カイハツ ト ウンヨウ ニ ヨル ソフトウェア コウガク キョウイク ノ ジッセン 花川 典子／著 ハナカワ ノリコ 175-180
ソフトウェア開発におけるWeb検索行動の分析 ソフトウェア カイハツ ニ オケル ウェブ ケンサク コウドウ ノ ブンセキ 中才 恵太朗／著 ナカサイ ケイタロウ 181-186
インタラクションに注目したアジャイル開発における設計スキルの育成手法 インタラクション ニ チュウモク シタ アジャイル カイハツ ニ オケル セッケイ スキル ノ イクセイ シュホウ 土肥 拓生／著 ドイ タクオ 187-192
ワークフローマイニングに基づく潜在的因果関係を考慮した変更推薦モデルの構築 ワーク フロー マイニング ニ モトズク センザイテキ インガ カンケイ オ コウリョ シタ ヘンコウ スイセン モデル ノ コウチク 熊 謙／著 ユウ ケン 193-202
コードレビューのジレンマ ／ スノードリフトゲームによる協調行動の分析 コード レビュー ノ ジレンマ 北川 愼人／ほか著 キタガワ ノリヒト 203-212
UX設計のためのユーザインサイト獲得方法の提案 ユーエックス セッケイ ノ タメ ノ ユーザ インサイト カクトク ホウホウ ノ テイアン 尾崎 愛／著 オザキ アイ 213-214
複数コンテキストドメインにまたがるLinked Dataを用いたコンテキストアウェアな情報提供方法の提案 フクスウ コンテキスト ドメイン ニ マタガル リンクト データ オ モチイタ コンテキスト アウェア ナ ジョウホウ テイキョウ ホウホウ ノ テイアン 内海 太祐／著 ウツミ タイスケ 215-216
インタラクティブロボットのUML要求仕様と実装 インタラクティブ ロボット ノ ユーエムエル ヨウキュウ シヨウ ト ジッソウ 川合 怜／著 カワイ サトシ 217-218
答案自動振り分けにおけるセンサ選定手法の提案 トウアン ジドウ フリワケ ニ オケル センサ センテイ シュホウ ノ テイアン 徳田 祥子／著 トクダ ショウコ 219-220
テスト実行者情報を考慮した0-1計画モデルによる効率的なテストケース選択手法の提案 テスト ジッコウシャ ジョウホウ オ コウリョ シタ ゼロ イチ ケイカク モデル ニ ヨル コウリツテキ ナ テスト ケース センタク シュホウ ノ テイアン 阿萬 裕久／著 アマン ヒロヒサ 221-222
Webアプリケーションに対する回帰テストオラクル自動生成 ウェブ アプリケーション ニ タイスル カイキ テスト オラクル ジドウ セイセイ 堀 旭宏／ほか著 ホリ アキヒロ 223-224
ユースケース記述に基づくモックアップを利用したテストシナリオ生成ツール ユース ケース キジュツ ニ モトズク モックアップ オ リヨウ シタ テスト シナリオ セイセイ ツール 鹿糠 秀行／ほか著 カヌカ ヒデユキ 225-226
モデル検査によるドローンの安全確認 モデル ケンサ ニ ヨル ドローン ノ アンゼン カクニン 青木 善貴／著 アオキ ヨシタカ 227-228
適応型コンテキストモデル生成方法の提案と評価 テキオウガタ コンテキスト モデル セイセイ ホウホウ ノ テイアン ト ヒョウカ 豊田 丈晃／著 トヨダ タケアキ 229-230
スマートフォンアプリケーション設計に特化したUML及びGUIビルダによる相互的なモデリング手法 スマート フォン アプリケーション セッケイ ニ トッカ シタ ユーエムエル オヨビ ジーユーアイ ビルダ ニ ヨル ソウゴテキ ナ モデリング シュホウ 松井 浩司／著 マツイ コウジ 231-232
自転車事故防止システム開発におけるセンサデータの表示方法の検討 ジテンシャ ジコ ボウシ システム カイハツ ニ オケル センサ データ ノ ヒョウジ ホウホウ ノ ケントウ 石原 一輝／著 イシハラ カズキ 233-234
Code:Code Oriented Diagram Editor コード コード オリエンテッド ダイアグラム エディター 大村 裕／著 オオムラ ユウ 235-236
Javaの参照型変数と配列の静的null検出 ジャヴァ ノ サンショウガタ ヘンスウ ト ハイレツ ノ セイテキ ナル ケンシュツ 武田 真弥／著 タケダ シンヤ 237-238
脳波計測を用いたプログラム理解タスクの判別 ノウハ ケイソク オ モチイタ プログラム リカイ タスク ノ ハンベツ 幾谷 吉晴／著 イクタニ ヨシハル 239-240
ソフトウェア技術者の「たらい」 ソフトウェア ギジュツシャ ノ タライ 伊藤 昌夫／著 イトウ マサオ 241-242
第3次経済革命を支えるソフトウェアの工学 ダイサンジ ケイザイ カクメイ オ ササエル ソフトウェア ノ コウガク 中島 震／著 ナカジマ シン 243-244
サービス研究から見る無形労働 サービス ケンキュウ カラ ミル ムケイ ロウドウ 佐藤 啓太／著 サトウ ケイタ 245-246
無形労働としてのソフトウェア開発に関する一考察 ムケイ ロウドウ ト シテ ノ ソフトウェア カイハツ ニ カンスル イチ コウサツ 杉山 安洋／著 スギヤマ ヤスヒロ 247-248

ページの先頭へ