資料詳細

検索条件

著者

松本良夫

ハイライト

一覧へ戻る

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

-- 近代科学社 -- 1998.12 -- 007.63

所蔵

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

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

ページの先頭へ

資料詳細

タイトル	ソフトウェア工学の基礎 5
タイトルカナ	ソフトウェアコウガクノキソ
叢書名	レクチャーノート/ソフトウェア学
巻の書名	日本ソフトウェア科学会FOSE'98
巻の著者	伊藤潔／編
出版者	近代科学社
出版年	1998.12
ページ数	218p
大きさ	26cm
一般件名	ソフトウェア工学
ISBN	4-7649-0270-2
分類記号	007.63

ページの先頭へ

内容一覧

タイトル	著者名	ページ
ソフトウェア研究と産学連携	大野豊／著	1-9
部分継続にもとづく移動コード機構について	渡部卓雄／著	10-19
代数アプローチによるアーキテクチャ・スタイル記述	中島震／著,二木厚吉／著	20-29
部分仕様の段階的統合	磯部祥尚／ほか著	30-39
認証の論理とHOLによる認証プロトコルの検証	沢村一／著,坂本綾子／著	40-49
リアクティブシステム開発のための統合型支援環境	石井基樹／ほか著	50-55
構造化文書を内部表現とする関数仕様書とソースコードの相互参照システムの実現	荒木円博／著,手嶋茂晴／著	56-61
ビジュアルカスタマイズ方式によるソフトウェアの開発手法	白銀純子／著,深沢良彰／著	62-67
性能設計における協調・依存グラフの活用	野田夏子／著,岸知二／著	68-73
形式仕様からシステム要求への反映	金指文明／ほか著	74-79
Distributed system evolution using reflection	Issam・A・Hamid／著	80-85
アーキテクチャコンフォーマンスを活用した非機能的特性の設計	岸知二／著,野田夏子／著	86-95
開放型分散システムの階層的な設計手法	山根智／著	96-105
矛盾を含んだ要求仕様の解釈手法	杉本英昭／著,大西淳／著	106-115
パターンに基づくエージェントシステム開発手法	田原康之／ほか著	116-125
共通業務を考慮したドメイン分析に基づくプロトタイピングシステム	川端亮／ほか著	126-135
応用ドメインに特化したCASEツールGUI部の自動生成	宮崎善史／ほか著	136-144
並列オブジェクト指向シミュレーションのための記述言語とプログラム設計	平井譲／ほか著	145-150
代数モデルによるUMLの意味論	飯田周作／著,二木厚吉／著	151-156
隠蔽代数によるオブジェクト指向的仕様記述方法	松本充広／著,二木厚吉／著	157-162
OAM:オープンエージェントミドルウェア	塩内正利／ほか著	163-168
仕様記述言語SDLに対する静的解析アルゴリズム	梶由仁／ほか著	169-174
開放的分散システムにおけるプロセス間通信機構	渡辺慎哉／著,宮本衛市／著	175-180
プログラムパターンの段階的抽出手法	三浦良／ほか著	181-188
ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案	吉田敦／ほか著	189-198
パターン解析による形式的仕様記述言語からのプロトタイプ生成系	橘賢二／著,深沢良彰／著	199-208
CafeOBJのモジュールシステムの設計およびCafeOBJにより検証	五百蔵重典／ほか著	209-218

ページの先頭へ