close
1.

図書

図書
石島辰太郎 [ほか] 共著
出版情報: 東京 : オーム社, 1987.5  vi, 173p ; 22cm
所蔵情報: loading…
2.

図書

図書
須永照雄著
出版情報: 東京 : コロナ社, 1979.5  v, 165p ; 22cm
シリーズ名: 機械工学大系 ; 39
所蔵情報: loading…
3.

図書

図書
Tom DeMarco著 ; 渡辺純一訳
出版情報: 東京 : 近代科学社, 1987.6  xiv, 326p ; 22cm
所蔵情報: loading…
4.

図書

図書
G.M.ワインバーグ著 ; 木村泉訳
出版情報: 東京 : 共立出版, 1986.7  xi, 253p ; 21cm
所蔵情報: loading…
5.

図書

図書
Tom DeMarco著 ; 高梨智弘, 黒田純一郎監訳
出版情報: 東京 : 日経マグロウヒル社, 1986.12  322p ; 27cm
所蔵情報: loading…
6.

図書

図書
Brian Dickinson著 ; 黒田純一郎, 渡部研一共訳
出版情報: 東京 : 日経マグロウヒル社, 1987.2  290p ; 27cm
所蔵情報: loading…
7.

図書

図書
Yourdon,Constantine著 ; 原田実,久保未沙訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xviii,544p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 36
所蔵情報: loading…
8.

図書

図書
岡大勝, 三宅和之著
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2018.6  189p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 超実践 システム開発の進め方 : システム企画
要件定義
基本設計 ほか
第2章 クラウド対応 システム設計書の作り方 : プラットフォーム概念図
要求仕様書
アーキテクチャー設計書 ほか
第3章 デジタル変革に効く技術要求の分析法 : 多様化する非機能要求
技術リスクの識別
第1章 超実践 システム開発の進め方 : システム企画
要件定義
基本設計 ほか
概要: 絶対に外せないタスクと成果物。利用者が満足する超上流工程、変化に強いアーキテクチャー設計、クラウドを利用したスピード開発、すぐに使える設計書サンプル、多様化する非機能要求、技術リスクの識別法。現場のノウハウを再現。
9.

図書

図書
松島淳也, 伊藤雅浩著
出版情報: 東京 : 第一法規, 2018.7  xvii, 420p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : システム開発・運用に関する紛争の発生状況
第2章 : システム開発委託契約の基礎知識
第3章 : 契約交渉・締結段階におけるトラブル
第4章 : プロジェクト進行中におけるトラブル
第5章 : システム運用中のトラブル
第6章 : 知的財産権(プログラムの著作物)に関するトラブル
第7章 : システム開発に関する訴訟手続
巻末資料
第1章 : システム開発・運用に関する紛争の発生状況
第2章 : システム開発委託契約の基礎知識
第3章 : 契約交渉・締結段階におけるトラブル
概要: 弁護士、法務担当者、プロジェクトマネージャーのための必携書!最新の判例も加え解説をさらに充実させた待望の新版!「紛争」にフォーカスし、実務上の解決指針を示す。実務のステージごとに紛争類型や検討課題を整理、契約実務にも有益。
10.

図書

図書
宮保憲治, 小川猛志, 塩本公平共著
出版情報: 東京 : コロナ社, 2017.6  vi, 163p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1部 : ネットワーク技術の動向
インターネットの課題と応用
研究から商業化まで
第2部 : 通信サービスの企画書提案と開発計画書提案
システム開発成功の秘訣
第1部 : ネットワーク技術の動向
インターネットの課題と応用
研究から商業化まで
概要: 特にICT関連のネットワークサービスをターゲットに絞り、技術革新が進みつつあるセキュリティ技術、SDN、IoTおよびスマートグリッド等の新世代のネットワークサービスやユビキタスサービスを取り上げ、安全性・信頼性に配慮したサービスやシステムを 実現するための基礎となる技術を具体的に解説。 続きを見る
11.

図書

図書
松浦佐江子著
出版情報: 東京 : コロナ社, 2016.10  vi, 222p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
1 : ソフトウェアとは
2 : 事例
3 : 要求分析
4 : 設計
5 : 設計から実装へ
6 : 役に立つUMLモデリングへ向けて
付録
1 : ソフトウェアとは
2 : 事例
3 : 要求分析
12.

図書

図書
フレデリック・ヘイズ=ロス [ほか] 編 ; AIUEO訳
出版情報: 東京 : 産業図書, 1985.6  xiv, 493p ; 22cm
シリーズ名: ソフトウェアサイエンスシリーズ
所蔵情報: loading…
13.

図書

図書
半澤孝雄著
出版情報: 東京 : 竹内書店新社, 1982.4  xi, 290p. ; 23cm
所蔵情報: loading…
14.

図書

東工大
目次DB

図書
東工大
目次DB
J.L.ピータースン著 ; 市川惇信, 小林重信訳
出版情報: 東京 : 共立出版, 1984.4  ix, 293p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1 序論
   1.1 モデル化 1
   1.2 システムの特徴 2
   1.3 ペトリネットの発展の初期 3
   1.4 ペトリネット理論の応用について 5
   1.5 応用および純粋ペトリネット理論 6
   1.6 課題文献 7
   1.7 課題研究 7
2 基礎的定義
   2.1 ペトリネット構造 8
   2.2 ペトリネットグラフ 11
   2.3 ペトリネットのマーキング 16
   2.4 ペトリネットにおける実行規則 18
   2.5 ペトリネット状態空間 23
   2.6 ペトリネットの定義の種々な形 27
   2.7 課題文献 30
   2.8 課題研究 30
3 ペトリネットによるモデル化
   3.1 事象と条件 32
   3.2 同時進行と競合 36
   3.3 計算機ハードウェア 41
   3.4 計算機ソフトウェア 55
   3.5 その他のシステム 69
   3.6 課題文献 76
   3.7 課題研究 77
4 ペトリネットの解析
   4.1 ペトリネットにおいて解析すべき問題 79
   4.2 解析方法 90
   4.3 課題文献 111
   4.4 課題研究 112
5 複雑性と可解性
   5.1 解析問題の間の帰着可能性 114
   5.2 可達問題 119
   5.3 制限されたペトリネット構造 124
   5.4 活性と可達性 128
   5.5 非可解な問題 132
   5.6 可達問題の複雑性 144
   5.7 課題文献 148
   5.8 課題研究 149
6 ペトリネット言語
   6.1 動機 150
   6.2 関連する形式言語理論の諸概念 153
   6.3 ペトリネット言語の定義 154
   6.4 ペトリネット言語の性質 162
   6.5 閉包性 167
   6.6 ペトリネット言語とそれ以外の言語のクラス 179
   6.7 その他の成果 186
   6.8 課題文献 188
   6.9 課題研究 188
7 拡張ペトリネットと限定ペトリネット
   7.1 ペトリネットによるモデル化の限界 191
   7.2 拡張 197
   7.3 拡張ペトリネットとレジスタ機械 202
   7.4 ペトリネットのサブクラス 205
   7.5 課題文献 211
   7.6 課題研究 211
8 並列計算のモデル
   8.1 有限オートマトン 216
   8.2 マークグラフ 216
   8.3 計算グラフ 217
   8.4 P/Vシステム 219
   8.5 メッセージ伝送システム 222
   8.6 UCLAグラフ 229
   8.7 ベクトル加算およびベクトル交換システム 234
   8.8 拡張ペトリネットモデル 237
   8.9 課題文献 238
   8.10 課題研究 238
付録A 多重集合論の要約 239
注釈付参考文献 243
訳者あとがき 286
   さくいん 288
1 序論
   1.1 モデル化 1
   1.2 システムの特徴 2
15.

図書

図書
川合慧著
出版情報: 東京 : 近代科学社, 1982.5  x, 197p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 13
所蔵情報: loading…
16.

図書

図書
W. ライシッヒ著 ; 長谷川健介, 高橋宏治訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1988.4  xii, 186p ; 26cm
所蔵情報: loading…
17.

図書

図書
堀内一著
出版情報: 東京 : オーム社, 1988.3  228p ; 22cm
所蔵情報: loading…
18.

図書

図書
E.Gelenbe, I.Mitrani共著 ; 秋丸春夫, 橋田温監訳
出版情報: 東京 : オーム社, 1988.3  xi, 222p ; 22cm
所蔵情報: loading…
19.

図書

図書
岩田一明, 中沢弘共著
出版情報: 東京 : コロナ社, 1988.1  viii, 198p ; 22cm
シリーズ名: 機械系大学講義シリーズ ; 28
所蔵情報: loading…
20.

図書

図書
赤木新介著
出版情報: 東京 : コロナ社, 1988.4  ix, 236p ; 22cm
シリーズ名: コンピュータ制御機械システムシリーズ / 増淵正美 [ほか] 編 ; 1
所蔵情報: loading…
21.

図書

図書
吉谷龍一, 中根甚一郎著
出版情報: 東京 : 日刊工業新聞社, 1973  231,3p ; 22cm
所蔵情報: loading…
22.

図書

図書
岩田一明 [ほか] 著
出版情報: 東京 : コロナ社, 1982.5  ix, 337p ; 22cm
シリーズ名: 精密工学講座 / 岡村健二郎 [ほか] 編集 ; 13
所蔵情報: loading…
23.

図書

図書
石丸勝敏編集幹事
出版情報: 東京 : オーム社, 1970.5  xii, 399p ; 22cm
所蔵情報: loading…
24.

図書

図書
鈴木洋光著
出版情報: 東京 : 東京電機大学出版局, 1994.3  vii, 231p ; 26cm
シリーズ名: 新情報テキスト
所蔵情報: loading…
25.

図書

図書
P. K. アンドレイ, M. R. グレッチンガー著 ; 楠由仁訳
出版情報: 東京 : トッパン, 1994.7  x, 564p ; 24cm
所蔵情報: loading…
26.

図書

図書
青木淳著
出版情報: 東京 : ソフト・リサーチ・センター, 1994.3  284p ; 22cm
シリーズ名: SRCハンドブック ; . STシリーズ||ST シリーズ
所蔵情報: loading…
27.

図書

図書
所真理雄, 松岡聡, 垂水浩幸編
出版情報: 東京 : 岩波書店, 1993.11  xvi, 442p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
28.

図書

図書
Z・ナバビ著 ; 佐藤一幸訳
出版情報: 東京 : 日経BP出版センター, 1994.10  xii, 351p ; 24cm
所蔵情報: loading…
29.

図書

図書
板倉稔監修
出版情報: 東京 : 丸善, 1993.2  xi, 265p ; 22cm
シリーズ名: 情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集
所蔵情報: loading…
30.

図書

図書
S. シュレィアー, S. J. メラー著
出版情報: 東京 : 啓学出版, 1990.2-1992.10  2冊 ; 22cm
所蔵情報: loading…
31.

図書

図書
IBM情報処理システム研究会編著
出版情報: 東京 : リックテレコム, 1992.12  262p ; 21cm
シリーズ名: SE(システムエンジニア)の基礎知識 / IBM情報システム研究会編著 ; 1
所蔵情報: loading…
32.

図書

図書
Donald M.Arnoudse, L.Paul Ouellette, John D.Whalen著 ; 中根雅夫訳
出版情報: 東京 : ソフトバンク, 1992.9  v, 189p ; 21cm
シリーズ名: Softbank books
所蔵情報: loading…
33.

図書

図書
板倉稔著
出版情報: 東京 : 日科技連出版社, 1993.4  xx, 224p ; 22cm
シリーズ名: 実践ソフトウェア開発工学シリーズ / 石井康雄, 菅野文友, 高橋延匡共同編集 ; 4
所蔵情報: loading…
34.

図書

図書
イゾルト・ホワイト著 ; 藤原淳一監訳
出版情報: 東京 : アジソン・ウェスレイ・パブリッシャーズ・ジャパン , 東京 : 星雲社 (発売), 1994.12  xvi, 183p ; 21cm
シリーズ名: Professional computing series ; 別巻
所蔵情報: loading…
35.

図書

図書
ジェームズ・マーチン著 ; 三菱CC研究会OOADタスクフォース, 中央クーパース・アンド・ライブランドコンサルティング株式会社訳
出版情報: 東京 : トッパン, 1995.2  xxi, 475p ; 25cm
所蔵情報: loading…
36.

図書

図書
S. シュレィアー, S. J. メラー著 ; 本位田真一, 山口亨訳
出版情報: 東京 : 近代科学社, 1995.4  xii, 179p ; 21cm
シリーズ名: オブジェクト指向システム分析 / S. シュレィアー, S. J. メラー著 ; [正]
所蔵情報: loading…
37.

図書

図書
S. シュレィアー, S. J. メラー著
出版情報: 東京 : 近代科学社, 1995.4-  冊 ; 21cm
所蔵情報: loading…
38.

図書

図書
S. シュレィアー, S. J. メラー著 ; 本位田真一, 伊藤潔監訳
出版情報: 東京 : 近代科学社, 1995.4  xiv, 265p ; 21cm
シリーズ名: オブジェクト指向システム分析 / S. シュレィアー, S. J. メラー著 ; 続
所蔵情報: loading…
39.

図書

図書
IBM情報処理システム研究会編著
出版情報: 東京 : リックテレコム, 1992.10  270p ; 21cm
シリーズ名: SE(システムエンジニア)の基礎知識 / IBM情報システム研究会編著 ; 3
所蔵情報: loading…
40.

図書

図書
L. ピーターズ著 ; 白井晴男, 奥島晶子共訳
出版情報: 東京 : 近代科学社, 1990.9  xviii, 298p ; 22cm
所蔵情報: loading…
41.

図書

図書
日本能率協会コンサルタントAPPグループ編
出版情報: 東京 : 日本能率協会, 1983.10  336p ; 31cm
所蔵情報: loading…
42.

図書

図書
佐藤正美著
出版情報: 東京 : ソフト・リサーチ・センター, 1989.11  306p ; 22cm
シリーズ名: SRCハンドブック ; . SEシリーズ||SE シリーズ
所蔵情報: loading…
43.

図書

図書
Michael Jackson著 ; 大野侚郎, 山崎利治監訳
出版情報: 東京 : 共立出版, 1989.12  xix, 527p ; 22cm
所蔵情報: loading…
44.

図書

図書
S.シュレィアー, S.J.メラー著 ; 本位田真一, 山口亨訳
出版情報: 東京 : 啓学出版, 1990.2  xii, 179p ; 22cm
シリーズ名: オブジェクト指向システム分析 / S. シュレィアー, S. J. メラー著 ; [正]
所蔵情報: loading…
45.

図書

図書
南條優著
出版情報: 東京 : オーム社, 1992.1  xvi, 232p ; 22cm
シリーズ名: 図解コンピュータシリーズ / 江村潤朗監修
所蔵情報: loading…
46.

図書

図書
半沢孝雄著
出版情報: 東京 : オーム社, 1992.4  ix, 245p ; 22cm
所蔵情報: loading…
47.

図書

図書
中原啓一, 加藤栄護共編
出版情報: 東京 : オーム社, 1991.5  xxvi,812p ; 27cm
所蔵情報: loading…
48.

図書

図書
河村一樹著
出版情報: 東京 : オーム社, 1991.5  217p ; 22cm
シリーズ名: 図解コンピュータシリーズ / 江村潤朗監修
所蔵情報: loading…
49.

図書

図書
James R.Johnson著 ; 大久保秀典訳
出版情報: 東京 : オーム社, 1990.10  xxi,219p ; 22cm
所蔵情報: loading…
50.

図書

図書
高原康彦 [ほか] 編著
出版情報: 東京 : 近代科学社, 1991.1  xi, 286p ; 27cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼