書誌情報｡

< 前へ [ 1 / 1 ]   次へ >
資料の種別｡ 図書｡ 資料情報のコピー
タイトル｡ ソフトウェア工学の基礎 1(000100)｡ 　
外部サイトで調べる:  図書館検索サイト「カーリル」で調べる
各巻書名｡ 日本ソフトウェア科学会FOSE '94｡
出版者｡ 近代科学社／東京｡
出版年｡ 1996.1｡
ページと大きさ｡ 214p／26cm｡
シリーズ名｡ レクチャーノート/ソフトウェア学 14｡
内容注記｡ 内容：仕様に基づく部品再利用法とその適用 川北誠ほか著. 代数的仕様の解析・検証・変換のための視覚的支援環境 河口信夫ほか著. CafeOBJによるZ仕様の検証支援 谷津弘一著 二木厚吉著. フイールド指向言語Flage 粂野文洋ほか著. 受信者数を考慮したブロードキャストシステムのためのプロセス代数 磯部祥尚ほか著. オブジェクト指向言語におけるクラス集合型検査 大久保弘崇ほか著. スライシング技法の応用によるプログラムの検証法 小野康一ほか著. 高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル 元木誠著 中島震著. プロセスモデルHFSPにおける実行状態の動的制御の基礎 岩井淳著 片山卓也著. Triadic*Domain*Modelに基づくシステムの分析・設計 伊藤潔ほか著. 圏論を用いたデータモデリング 森彰著 松本吉弘著. バージョン機能を持つオブジェクトベースの為の形式化 泉直子著 片山卓也著. エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論 田原康之ほか著. ソフトウェア部品検索における形式的仕様の活用法 栗野俊一ほか著. 形式的手法による機能分割手法 張漢明著 荒木啓二郎著. 業務記述に基づく系統的な要求分析手法DREMの提案 山本修一郎著 斎直人著. オブジェクト指向概念に基づく要求仕様の導出支援システム 滝沢陽三著 上田賀一著. オブジェクト指向開発アプローチCrossoverにおける設計モデル 岸知二ほか著. 構造化技法を取り入れたオブジェクト指向設計技法の提案 臼井義美著. クラスバージョンと関係に基づく記述モデル 志村秀人著 上田賀一著. オブジェクト指向システム構造に対するデータ解析手法による評価に関する一考察 飯島正著. MSCとLOTOSによる通信システム設計支援系ITECS 田口毅著. 事象木に基づくサービス仕様設計法 加賀谷聡ほか著. ソフトウェアプロセス適応のための形式的モデル 鈴木正人著 片山卓也著.｡
件名｡ ソフトウェア工学｡
分類｡ NDC8 版：007.63｡
NDC10版：007.63｡
内容細目｡ 仕様に基づく部品再利用法とその適用 / 川北/誠‖ほか著(カワキタ,マコト) ; 代数的仕様の解析・検証・変換のための視覚的支援環境 / 河口/信夫‖ほか著(カワグチ,ノブオ) ; CafeOBJによるZ仕様の検証支援 / 谷津/弘一‖著(ヤツ,ヒロカズ) ; フイールド指向言語Flage / 粂野/文洋‖ほか著(クメノ,フミヒロ) ; 受信者数を考慮したブロードキャストシステムのためのプロセス代数 / 磯部/祥尚‖ほか著(イソベ,ヨシナオ) ; オブジェクト指向言語におけるクラス集合型検査 / 大久保/弘崇‖ほか著(オオクボ,ヒロタカ) ; スライシング技法の応用によるプログラムの検証法 / 小野/康一‖ほか著(オノ,コウイチ) ; 高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル / 元木/誠‖著(モトキ,マコト) ; プロセスモデルHFSPにおける実行状態の動的制御の基礎 / 岩井/淳‖著(イワイ,アツシ) ; Triadic Domain Modelに基づくシステムの分析・設計 / 伊藤/潔‖ほか著(イトウ,キヨシ) ; 圏論を用いたデータモデリング / 森/彰‖著(モリ,アキラ) ; バージョン機能を持つオブジェクトベースの為の形式化 / 泉/直子‖著(イズミ,ナオコ) ; エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論 / 田原/康之‖ほか著(タハラ,ヤスユキ) ; ソフトウェア部品検索における形式的仕様の活用法 / 栗野/俊一‖ほか著(クリノ,シュンイチ) ; 形式的手法による機能分割手法 / 張/漢明‖著(チョウ,カンメイ) ; 業務記述に基づく系統的な要求分析手法DREMの提案 / 山本/修一郎‖著(ヤマモト,シュウイチロウ) ; オブジェクト指向概念に基づく要求仕様の導出支援システム / 滝沢/陽三‖著(タキザワ,ヨウゾウ) ; オブジェクト指向開発アプローチCrossoverにおける設計モデル / 岸/知二‖ほか著(キシ,トモジ) ; 構造化技法を取り入れたオブジェクト指向設計技法の提案 / 臼井/義美‖著(ウスイ,ヨシミ) ; クラスバージョンと関係に基づく記述モデル / 志村/秀人‖著(シムラ,ヒデト) ; オブジェクト指向システム構造に対するデータ解析手法による評価に関する一考察 / 飯島/正‖著(イイジマ,タダシ) ; MSCとLOTOSによる通信システム設計支援系ITECS / 田口/毅‖著(タグチ,タケシ) ; 事象木に基づくサービス仕様設計法 / 加賀谷/聡‖ほか著(カガヤ,アキラ) ; ソフトウェアプロセス適応のための形式的モデル / 鈴木/正人‖著(スズキ,マサト)｡
ISBN｡ 4-7649-0252-4｡
価格｡ ¥2913｡
タイトルコード｡ 5010300803｡
ヨミの情報｡ タイトル：ソフトウェア コウガク ノ キソ000100｡
件名： ソフトウェア/コウガク｡

貸出情報｡

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

所蔵情報｡

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

宮城県図書館

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