サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

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

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

詳細情報

タイトル ソフトウェア工学の基礎
著者標目 青木, 利晃
著者標目 豊島, 真澄
著者標目 武市, 正人, 1948-
著者標目 米沢, 明憲, 1947-
シリーズ名 レクチャーノート/ソフトウェア学 ; 41
出版地(国名コード) JP
出版地東京
出版社近代科学社
出版年月日等 2015.11
大きさ、容量等 248p ; 26cm
ISBN 9784764904965
価格 5800円
JP番号 22668262
トーハンMARC番号 33372393
巻次 22
別タイトル 日本ソフトウェア科学会FOSE 2015
部分タイトル 日本ソフトウェア科学会FOSE 2015 / 青木利晃, 豊島真澄 編
部分タイトル ゲームとエンターテインメント / 飯田弘之 著
部分タイトル 変数の型を考慮したメソッド間の実行経路の検索 / 竹之内啓太, 石尾隆, 井上克郎 著
部分タイトル プログラム変換ルールを用いたプログラム自動要約フレームワークの構築 / 大村悠太, 権藤克彦, 立石孝彰 著
部分タイトル 動的情報に基づくソフトウェア縮退実行機構の提案 / 小野寺駿一, 名倉正剛, 杉山安洋 著
部分タイトル 原型分析による活動履歴からのOSS貢献者プロファイリング / 尾上紗野, 畑秀明, 松本健一 著
部分タイトル 不確かさを包容するソフトウェア開発プロセス / 深町拓也, 鵜林尚靖, 畑合晋太郎 ほか 著
部分タイトル 利用する過去情報の選定によるPBL向け工数見積り支援ツールの精度改善 / 齋藤尊, 新美礼彦, 伊藤恵 著
部分タイトル 形式仕様に基づくテストケースの自動生成支援ツールの開発 / 池田逸人, 劉少英, Ye Yan 著
部分タイトル 業務システム向けの分岐網羅テストケースの生成手法 / 前田芳晴, 佐々木裕介, 上原忠弘 ほか 著
部分タイトル テストケース作成自動化のための意味役割付与方法 / 増田聡, 松尾谷徹, 津田和彦 著
部分タイトル 可能な限り仕様を満たすリアクティブシステムの合成 / 冨田堯, 上野篤史, 萩原茂樹 ほか 著
部分タイトル 音声認識システムの語彙列受理可能性テスト自動化 / 岩間太, 福田隆 著
部分タイトル 命令型プログラミング言語における初学者向け動作理解支援ツールの提案 / 蜂巣吉成, 吉田敦, 阿草清磁 著
部分タイトル 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次経済革命を支えるソフトウェアの工学 / 中島震, 豊島真澄 著
部分タイトル サービス研究から見る無形労働 / 佐藤啓太 著
部分タイトル 無形労働としてのソフトウェア開発に関する一考察 / 杉山安洋 著
シリーズ著者武市正人, 米澤明憲 編集委員
出版年(W3CDTF) 2015
件名(キーワード) ソフトウェア工学
Ajax-loader 関連キーワードを取得中..
NDLC M159
NDC(9版) 007.61 : 情報科学
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで