書誌情報｡

< 前へ [ 1 / 1 ]   次へ >
資料の種別｡ 図書｡ 資料情報のコピー
タイトル｡ ソフトウェア工学の基礎 5(000500)｡ 　
外部サイトで調べる:  図書館検索サイト「カーリル」で調べる
各巻書名｡ 日本ソフトウェア科学会FOSE'98｡
出版者｡ 近代科学社／東京｡
出版年｡ 1998.12｡
ページと大きさ｡ 218p／26cm｡
シリーズ名｡ レクチャーノート/ソフトウェア学 20｡
内容注記｡ 内容：ソフトウェア研究と産学連携 大野豊著. 部分継続にもとづく移動コード機構について 渡部卓雄著. 代数アプローチによるアーキテクチャ・スタイル記述 中島震著 二木厚吉著. 部分仕様の段階的統合 磯部祥尚ほか著. 認証の論理とHOLによる認証プロトコルの検証 沢村一著 坂本綾子著. リアクティブシステム開発のための統合型支援環境 石井基樹ほか著. 構造化文書を内部表現とする関数仕様書とソースコードの相互参照システムの実現 荒木円博著 手嶋茂晴著. ビジュアルカスタマイズ方式によるソフトウェアの開発手法 白銀純子著 深沢良彰著. 性能設計における協調・依存グラフの活用 野田夏子著 岸知二著. 形式仕様からシステム要求への反映 金指文明ほか著. Distributed*system*evolution*using*reflection Issam・A・Hamid著. アーキテクチャコンフォーマンスを活用した非機能的特性の設計 岸知二著 野田夏子著. 開放型分散システムの階層的な設計手法 山根智著. 矛盾を含んだ要求仕様の解釈手法 杉本英昭著 大西淳著. パターンに基づくエージェントシステム開発手法 田原康之ほか著. 共通業務を考慮したドメイン分析に基づくプロトタイピングシステム 川端亮ほか著. 応用ドメインに特化したCASEツールGUI部の自動生成 宮崎善史ほか著. 並列オブジェクト指向シミュレーションのための記述言語とプログラム設計 平井譲ほか著. 代数モデルによるUMLの意味論 飯田周作著 二木厚吉著. 隠蔽代数によるオブジェクト指向的仕様記述方法 松本充広著 二木厚吉著. OAM：オープンエージェントミドルウェア 塩内正利ほか著. 仕様記述言語SDLに対する静的解析アルゴリズム 梶由仁ほか著. 開放的分散システムにおけるプロセス間通信機構 渡辺慎哉著 宮本衛市著. プログラムパターンの段階的抽出手法 三浦良ほか著. ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案 吉田敦ほか著. パターン解析による形式的仕様記述言語からのプロトタイプ生成系 橘賢二著 深沢良彰著. CafeOBJのモジュールシステムの設計およびCafeOBJにより検証 五百蔵重典ほか著.｡
件名｡ 電子計算機｡
分類｡ NDC8 版：007.63｡
NDC9 版：007.63｡
NDC10版：007.63｡
内容細目｡ ソフトウェア研究と産学連携 / 大野/豊‖著(オオノ,ユタカ) ; 部分継続にもとづく移動コード機構について / 渡部/卓雄‖著(ワタナベ,タクオ) ; 代数アプローチによるアーキテクチャ・スタイル記述 / 中島/震‖著(ナカジマ,シン) ; 部分仕様の段階的統合 / 磯部/祥尚‖ほか著(イソベ,ヨシナオ) ; 認証の論理とHOLによる認証プロトコルの検証 / 沢村/一‖著(サワムラ,ハジメ) ; リアクティブシステム開発のための統合型支援環境 / 石井/基樹‖ほか著(イシイ,モトキ) ; 構造化文書を内部表現とする関数仕様書とソースコードの相互参照システムの実現 / 荒木/円博‖著(アラキ,ミツヒロ) ; ビジュアルカスタマイズ方式によるソフトウェアの開発手法 / 白銀/純子‖著(シロガネ,ジユンコ) ; 性能設計における協調・依存グラフの活用 / 野田/夏子‖著(ノダ,ナツコ) ; 形式仕様からシステム要求への反映 / 金指/文明‖ほか著(カネザシ,フミアキ) ; Distributed system evolution using reflection / Issam・A・Hamid‖著(ハミード,イサーム A.) ; アーキテクチャコンフォーマンスを活用した非機能的特性の設計 / 岸/知二‖著(キシ,トモジ) ; 開放型分散システムの階層的な設計手法 / 山根/智‖著(ヤマネ,サトシ) ; 矛盾を含んだ要求仕様の解釈手法 / 杉本/英昭‖著(スギモト,ヒデアキ) ; パターンに基づくエージェントシステム開発手法 / 田原/康之‖ほか著(タハラ,ヤスユキ) ; 共通業務を考慮したドメイン分析に基づくプロトタイピングシステム / 川端/亮‖ほか著(カワバタ,リヨウ) ; 応用ドメインに特化したCASEツールGUI部の自動生成 / 宮崎/善史‖ほか著(ミヤザキ,ヨシフミ) ; 並列オブジェクト指向シミュレーションのための記述言語とプログラム設計 / 平井/譲‖ほか著(ヒライ,ユズル) ; 代数モデルによるUMLの意味論 / 飯田/周作‖著(イイダ,シユウサク) ; 隠蔽代数によるオブジェクト指向的仕様記述方法 / 松本/充広‖著(マツモト,ミチヒロ) ; OAM：オープンエージェントミドルウェア / 塩内/正利‖ほか著(シオウチ,マサトシ) ; 仕様記述言語SDLに対する静的解析アルゴリズム / 梶/由仁‖ほか著(カジ,ヨシヒト) ; 開放的分散システムにおけるプロセス間通信機構 / 渡辺/慎哉‖著(ワタナベ,シンヤ) ; プログラムパターンの段階的抽出手法 / 三浦/良‖ほか著(ミウラ,リヨウ) ; ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案 / 吉田/敦‖ほか著(ヨシダ,アツシ) ; パターン解析による形式的仕様記述言語からのプロトタイプ生成系 / 橘/賢二‖著(タチバナ,ケンジ) ; CafeOBJのモジュールシステムの設計およびCafeOBJにより検証 / 五百蔵/重典‖ほか著(イオロイ,シゲノリ)｡
ISBN｡ 4-7649-0270-2｡
4-7649-0270-2｡
価格｡ ¥3000｡
タイトルコード｡ 9810098320｡
ヨミの情報｡ タイトル：ソフトウェア コウガク ノ キソ000500｡
件名： デンシ ケイサンキ｡

貸出情報｡

貸出可能な資料｡ 貸出中の資料｡ 館内でのみ利用可能な資料｡ 予約数｡
貸出可能な資料｡
1 冊
貸出中の資料
0 冊
館内でのみ利用可能な資料
0 冊
予約数
0 件

所蔵情報｡

状態についての詳細は、こちらを参照してください。
番号｡ 資料番号｡ 所蔵館｡ 配架場所（配架案内）｡ 請求記号｡ 状態｡
1｡
資料番号：
1006773459｡
所蔵館：
宮城県図書館｡
配架場所：
書庫内資料（一般４）（書庫内の資料です ３階貸出カウンターへどうぞ）｡
請求記号：
007.63 
961 
5 
状態：
在架｡
このページのURL：https://www.library.pref.miyagi.jp/wo/opc_srh/srh_detail/9810098320
< 前へ [ 1 / 1 ]   次へ >
書誌、所蔵ページの表示は以上です。

宮城県図書館

〒981-3205 宮城県仙台市泉区紫山1-1-1 TEL：022-377-8441(代表） FAX：022-377-8484  このメールアドレスはスパムボットから保護されています。閲覧するにはJavaScriptを有効にする必要があります。