資料詳細

ソフトウェア工学の基礎 6 貸出可

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

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
地下書庫	/007.6/ｿ/6	114200702	成人一般	可能

ページの先頭へ

資料詳細

タイトル	ソフトウェア工学の基礎 6
タイトルカナ	ソフトウェアコウガクノキソ
叢書名	レクチャーノート/ソフトウェア学
巻の書名	日本ソフトウェア科学会FOSE'99
巻の著者	荒木啓二郎／編
出版者	近代科学社
出版年	1999.12
ページ数	282p
大きさ	26cm
一般件名	ソフトウェア工学
ISBN	4-7649-0278-8
分類記号	007.63

ページの先頭へ

内容一覧

タイトル	著者名	ページ
ソフトメカニクスにおける制御プログラムの構成	嘉数侑昇／著	1
鉄道信号におけるソフトウエア安全技術とフォーマルメソッド	荻野隆彦／著,平尾裕司／著	2-6
形式手法の実用化に向けての課題と展望	張漢明／著	7-17
モーバイルエージェントのためのソフトウェア工学の基礎	小野康一／ほか著	8-27
Field walker	金指文明／ほか著	28-35
分散システム合成のための形式的仕様記述言語	磯部祥尚／著,大蒔和仁／著	36-43
抽象解釈を導入したプロセス代数	小川昭利／ほか著	44-51
アスペクト指向設計による品質特性の達成	岸知二／著,野田夏子／著	52-59
性能面からのホットフローズンスポットの分析	岸知二／著,野田夏子／著	60-67
MVC指向アーキテクチャBeaMの機構とその評価	鷲崎弘宜／ほか著	68-75
フレームワークを用いた実装におけるテストの視点からの支援手法	嶋村威一郎／著	76-83
誤った要求の検出のための仕様化技法	大西淳／著	84-91
仕様図面に含まれる誤りの指摘と修正の促進	川端亮／ほか著	92-99
ドキュメントを含むソフトウェアモデルの提案	古山将佳寿／ほか著	100-107
ソフトウェアクォークモデルに基づくミクロソフトウェア工学の方法	鯵坂恒夫／著	108-115
ソフトウェア分散共同開発におけるコミュニケーション支援法に関する一提案	堀雅和／著,落水浩一郎／著	116-123
オブジェクト指向フレームワーク開発における代数仕様技術の適用経験	中島震／著	124-131
振舞意味論によるオブジェクト階層構造の記述と詳細化検証	松本充広／著,二木厚吉／著	132-139
実世界指向分散エージェントシステムアーキテクチャCASAにおけるライフサイクルモデル	庭野栄一／著	140-147
Applying the adaptive agent oriented software architecture to the parsing of context sensitive grammars	Babak・Hodjat／著,Makoto・Amamiya／著	148-155
Zを基にした正則表現による仕様記述と検証	林雄二／著	156-163
SPINによるセキュリティ・プロトコルの検証方式	田中慎也／著,佐藤文明／著	164-171
振舞仕様による通信処理システムの記述法について	海野浩／ほか著	172-179
代数仕様言語CafeOBJによる鉄道信号システムの記述と検証	清野貴博／ほか著	180-187
プログラムコンポーネントテスト支援ツール	広田豊彦／著,橋本正明／著	188-195
制約や規則の記述に注目したドメインモデル	田村恭久／ほか著	196-203
アーキテクチャ指向による要求分析	友枝敦／ほか著	204-211
メタ階層アーキテクチャにおけるモデル生成・解釈機構の開発	庄司竜一／著,上田賀一／著	212-219
CafeOBJを用いた双模倣等価性の定式化の試み	松宮千代／ほか著	220-227
等価変換に基づくプログラム生成システム	小池英勝／ほか著	228-235
Javaプログラムの振舞いのモデル化	鈴木孝聡／ほか著	236-243
非同期計算モデルによる並列プログラムの誤り検出	中村貴幸／著,織田健／著	244-251
テキストデータを利用したキーワードネットワーク構築支援システムの提案	榑松理樹／著	252-259
IDEFO・MCMコンバータによる協調作業分析の効率化	井上淳文／ほか著	260-267
ハードウェアを考慮したソフトウェア設計に関する研究	羽倉淳／著	268-275
Design and implementation of multi‐agent coordination	David・Ramamonjisoa／著,Issam・A・Hamid／著	276-282

ページの先頭へ