資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 1999.12 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /5355/5378/6 5000161305 Digital BookShelf
1999/12/03 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE'99
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー キュウジュウキュウ
各巻著者 荒木 啓二郎／編,張 漢明／編
各巻の著者の典拠番号

110002043880000 , 110003277300000

価格 ¥3500
内容注記 ソフトメカニクスにおける制御プログラムの構成 嘉数侑昇∥著. 鉄道信号におけるソフトウエア安全技術とフォーマルメソッド 荻野隆彦∥著 平尾裕司∥著. 形式手法の実用化に向けての課題と展望 張漢明∥著. モーバイルエージェントのためのソフトウェア工学の基礎 小野康一∥ほか著. Field*walker 金指文明∥ほか著. 分散システム合成のための形式的仕様記述言語 磯部祥尚∥著 大蒔和仁∥著. 抽象解釈を導入したプロセス代数 小川昭利∥ほか著. アスペクト指向設計による品質特性の達成 性能面からのホットフローズンスポットの分析 岸知二∥著 野田夏子∥著. MVC指向アーキテクチャBeaMの機構とその評価 鷲崎弘宜∥ほか著. フレームワークを用いた実装におけるテストの視点からの支援手法 嶋村威一郎∥著. 誤った要求の検出のための仕様化技法 大西淳∥著. 仕様図面に含まれる誤りの指摘と修正の促進 川端亮∥ほか著. ドキュメントを含むソフトウェアモデルの提案 古山将佳寿∥ほか著. ソフトウェアクォークモデルに基づくミクロソフトウェア工学の方法 鰺坂恒夫∥著. ソフトウェア分散共同開発におけるコミュニケーション支援法に関する一提案 堀雅和∥著 落水浩一郎∥著. オブジェクト指向フレームワーク開発における代数仕様技術の適用経験 中島震∥著. 振舞意味論によるオブジェクト階層構造の記述と詳細化検証 松本充広∥著 二木厚吉∥著. 実世界指向分散エージェントシステムアーキテクチャCASAにおけるライフサイクルモデル 庭野栄一∥著. Applying*the*adaptive*agent*oriented*software*architecture*to*the*parsing*of*context*sensitive*grammars Babak・Hodjat∥著 Makoto・Amamiya∥著. Zを基にした正則表現による仕様記述と検証 林雄二∥著. SPINによるセキュリティ・プロトコルの検証方式 田中慎也∥著 佐藤文明∥著. 振舞仕様による通信処理システムの記述法について 海野浩∥ほか著. 代数仕様言語CafeOBJによる鉄道信号システムの記述と検証 清野貴博∥ほか著. プログラムコンポーネントテスト支援ツール 広田豊彦∥著 橋本正明∥著. 制約や規則の記述に注目してドメインモデル 田村恭久∥ほか著. アーキテクチャ指向による要求分析 友枝敦∥ほか著. メタ階層アーキテクチャにおけるモデル生成・解釈機構の開発 庄司竜一∥著 上田賀一∥著. CafeOBJを用いた双模倣等価性の定式化の試み 松宮千代∥ほか著. 等価変換に基づくプログラム生成システム 小池英勝∥ほか著. Javaプログラムの振舞いのモデル化 鈴木孝聡∥ほか著. 非同期計算モデルによる並列プログラムの誤り検出 中村貴幸∥著 織田健∥著. テキストデータを利用したキーワードネットワーク構築支援システムの提案 榑松理樹∥著. IDEFO・MCMコンバータによる協調作業分析の効率化 井上淳文∥ほか著. ハードウェアを考慮したソフトウェア設計に関する研究 羽倉淳∥著. Design*and*implementation*of*multi-agent*coordination David・Ramamonjisoa∥著 Issam・A・Hamid∥著.
一般件名 システム開発∥会議録,プログラミング(電子計算機)∥会議録
一般件名カナ システムカイハツ∥カイギロク,プログラミング(デンシケイサンキ)∥カイギロク
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

一般件名 情報管理
一般件名カナ ジョウホウカンリ
分類：都立NDC10版 007.63
資料情報1 『ソフトウェア工学の基礎 6』（レクチャーノート/ソフトウェア学 22 日本ソフトウェア科学会FOSE'99） 　近代科学社　1999.12（所蔵館：中央　 請求記号：/5355/5378/6　 資料コード：5000161305）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1105039101

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
ソフトメカニクスにおける制御プログラムの構成 ソフト　メカニクス　ニ　オケル　セイギョ　プログラム　ノ　コウセイ 嘉数 侑昇／著 カカズ　ユキノリ １
鉄道信号におけるソフトウエア安全技術とフォーマルメソッド テツドウ　シンゴウ　ニ　オケル　ソフトウエア　アンゼンセイ　ギジュツ　ト　フォーマル　メソッド 荻野 隆彦／著 オギノ　タカヒコ ２－６
形式手法の実用化に向けての課題と展望 ケイシキ　シュホウ　ノ　ジツヨウカ　ニ　ムケテ　ノ　カダイ　ト　テンボウ 張 漢明／著 チョウ　カンメイ ７－１７
モーバイルエージェントのためのソフトウェア工学の基礎 モーバイル　エージェント　ノ　タメ　ノ　ソフトウェア　コウガク　ノ　キソ 小野 康一／ほか著 オノ　コウイチ ８－２７
Field walker フィールド　ウォーカー 金指 文明／ほか著 カネザシ　フミアキ ２８－３５
分散システム合成のための形式的仕様記述言語 ブンサン　システム　ゴウセイ　ノ　タメ　ノ　ケイシキテキ　シヨウ　キジュツ　ゲンゴ 磯部 祥尚／著 イソベ　ヨシナオ ３６－４３
抽象解釈を導入したプロセス代数 チュウショウ　カイシャク　オ　ドウニュウ　シタ　プロセス　ダイスウ 小川 昭利／ほか著 オガワ　アキトシ ４４－５１
アスペクト指向設計による品質特性の達成 アスペクト　シコウ　セッケイ　ニ　ヨル　ヒンシツ　トクセイ　ノ　タッセイ 岸 知二／著 キシ　トモジ ５２－５９
性能面からのホットフローズンスポットの分析 セイノウメン　カラ　ノ　ホット　フローズン　スポット　ノ　ブンセキ 岸 知二／著 キシ　トモジ ６０－６７
MVC指向アーキテクチャBeaMの機構とその評価 エムヴイシー　シコウ　アーキテクチャ　ビーエム　ノ　キコウ　ト　ソノ　ヒョウカ 鷲崎 弘宜／ほか著 ワシザキ　ヒロノリ ６８－７５
フレームワークを用いた実装におけるテストの視点からの支援手法 フレーム　ワーク　オ　モチイタ　ジッソウ　ニ　オケル　テスト　ノ　シテン　カラ　ノ　シエン　シュホウ 嶋村 威一郎／著 シマムラ　イイチロウ ７６－８３
誤った要求の検出のための仕様化技法 アヤマッタ　ヨウキュウ　ノ　ケンシュツ　ノ　タメ　ノ　シヨウカ　ギホウ 大西 淳／著 オオニシ　アツシ ８４－９１
仕様図面に含まれる誤りの指摘と修正の促進 シヨウ　ズメン　ニ　フクマレル　アヤマリ　ノ　シテキ　ト　シュウセイ　ノ　ソクシン 川端 亮／ほか著 カワバタ　リヨウ ９２－９９
ドキュメントを含むソフトウェアモデルの提案 ドキュメント　オ　フクム　ソフトウェア　モデル　ノ　テイアン 古山 将佳寿／ほか著 コヤマ　ノブカズ １００－１０７
ソフトウェアクォークモデルに基づくミクロソフトウェア工学の方法 ソフトウェア　クォーク　モデル　ニ　モトズク　ミクロ　ソフトウェア　コウガク　ノ　ホウホウ 鯵坂 恒夫／著 アジサカ　ツネオ １０８－１１５
ソフトウェア分散共同開発におけるコミュニケーション支援法に関する一提案 ソフトウェア　ブンサン　キョウドウ　カイハツ　ニ　オケル　コミュニケーション　シエンホウ　ニ　カンスル　イチ　テイアン 堀 雅和／著 ホリ　マサカズ １１６－１２３
オブジェクト指向フレームワーク開発における代数仕様技術の適用経験 オブジェクト　シコウ　フレーム　ワーク　カイハツ　ニ　オケル　ダイスウ　シヨウ　ギジュツ　ノ　テキヨウ　ケイケン 中島 震／著 ナカジマ　シン １２４－１３１
振舞意味論によるオブジェクト階層構造の記述と詳細化検証 フルマイ　イミロン　ニ　ヨル　オブジェクト　カイソウ　コウゾウ　ノ　キジュツ　ト　ショウサイカ　ケンショウ 松本 充広／著 マツモト　ミチヒロ １３２－１３９
実世界指向分散エージェントシステムアーキテクチャCASAにおけるライフサイクルモデル ジッセカイ　シコウ　ブンサン　エージェント　システム　アーキテクチャ　シーエーエスエー　ニ　オケル　ライフ　サイクル　モデル 庭野 栄一／著 ニワノ　エイイチ １４０－１４７
Applying the adaptive agent oriented software architecture to the parsing of context sensitive grammars アプライング　ジ　アダプティヴ　エージェント　オリエンティッド　ソフトウェア　アーキテクチュア　トゥー　ザ　パージング　オブ　コンテクスト　センシティヴ　グラマーズ Babak・Hodjat／著 ホージヤツト　ババク １４８－１５５
Zを基にした正則表現による仕様記述と検証 ゼット　オ　モト　ニ　シタ　セイソク　ヒョウゲン　ニ　ヨル　シヨウ　キジュツ　ト　ケンショウ 林 雄二／著 ハヤシ　ユウジ １５６－１６３
SPINによるセキュリティ・プロトコルの検証方式 エスピーアイエヌ　ニ　ヨル　セキュリティ　プロトコル　ノ　ケンショウ　ホウシキ 田中 慎也／著 タナカ　シンヤ １６４－１７１
振舞仕様による通信処理システムの記述法について フルマイ　シヨウ　ニ　ヨル　ツウシン　ショリ　システム　ノ　キジュツホウ　ニ　ツイテ 海野 浩／ほか著 ウンノ　ヒロシ １７２－１７９
代数仕様言語CafeOBJによる鉄道信号システムの記述と検証 ダイスウ　シヨウ　ゲンゴ　カフェ　オービージェー　ニ　ヨル　テツドウ　シンゴウ　システム　ノ　キジュツ　ト　ケンショウ 清野 貴博／ほか著 セイノ　タカヒロ １８０－１８７
プログラムコンポーネントテスト支援ツール プログラム　コンポーネント　テスト　シエン　ツール 広田 豊彦／著 ヒロタ　トヨヒコ １８８－１９５
制約や規則の記述に注目したドメインモデル セイヤク　ヤ　キソク　ノ　キジュツ　ニ　チュウモク　シタ　ドメイン　モデル 田村 恭久／ほか著 タムラ　ヤスヒサ １９６－２０３
アーキテクチャ指向による要求分析 アーキテクチャ　シコウ　ニ　ヨル　ヨウキュウ　ブンセキ 友枝 敦／ほか著 トモエダ　アツシ ２０４－２１１
メタ階層アーキテクチャにおけるモデル生成・解釈機構の開発 メタ　カイソウ　アーキテクチャ　ニ　オケル　モデル　セイセイ　カイシャク　キコウ　ノ　カイハツ 庄司 竜一／著 シヨウジ　リユウイチ ２１２－２１９
CafeOBJを用いた双模倣等価性の定式化の試み カフェ　オービージェー　オ　モチイタ　ソウモホウ　トウカセイ　ノ　テイシキカ　ノ　ココロミ 松宮 千代／ほか著 マツミヤ　チヨ ２２０－２２７
等価変換に基づくプログラム生成システム トウカ　ヘンカン　ニ　モトズク　プログラム　セイセイ　システム 小池 英勝／ほか著 コイケ　ヒデカツ ２２８－２３５
Javaプログラムの振舞いのモデル化 ジヴァ　プログラム　ノ　フルマイ　ノ　モデルカ 鈴木 孝聡／ほか著 スズキ　タカアキ ２３６－２４３
非同期計算モデルによる並列プログラムの誤り検出 ヒドウキ　ケイサン　モデル　ニ　ヨル　ヘイレツ　プログラム　ノ　アヤマリ　ケンシュツ 中村 貴幸／著 ナカムラ　タカユキ ２４４－２５１
テキストデータを利用したキーワードネットワーク構築支援システムの提案 テキスト　データ　オ　リヨウ　シタ　キーワード　ネットワーク　コウチク　シエン　システム　ノ　テイアン 榑松 理樹／著 クレマツ　マサキ ２５２－２５９
IDEFO・MCMコンバータによる協調作業分析の効率化 アイディーイーエフゼロ　エムシーエム　コンバータ　ニ　ヨル　キョウチョウ　サギョウ　ブンセキ　ノ　コウリツカ 井上 淳文／ほか著 イノウエ　キヨフミ ２６０－２６７
ハードウェアを考慮したソフトウェア設計に関する研究 ハードウェア　オ　コウリョ　シタ　ソフトウェア　セッケイ　ニ　カンスル　ケンキュウ 羽倉 淳／著 ハクラ　ジユン ２６８－２７５
Design and implementation of multi‐agent coordination デザイン　アンド　インプリメンテイション　オブ　マルチエージェント　コーディネイション David・Ramamonjisoa／著 ラマモンジソア　デヴイツド ２７６－２８２

ページの先頭へ