レクチャーノート／ソフトウェア学 ソフトウェア工学の基礎〈３〉日本ソフトウェア科学会ＦＯＳＥ’９６

レクチャーノート／ソフトウェア学<br> ソフトウェア工学の基礎〈３〉日本ソフトウェア科学会ＦＯＳＥ’９６

個数：

レクチャーノート／ソフトウェア学
ソフトウェア工学の基礎〈３〉日本ソフトウェア科学会ＦＯＳＥ’９６

佐伯元司/権藤克彦/武市正人/米沢明憲【編】
価格 ¥3,080（本体¥2,800）
近代科学社（1996/12発売）
ポイント 28pt

ウェブストアに1冊在庫がございます。（2026年01月09日 06時26分現在）
通常、ご注文翌日～2日後に出荷されます。
出荷予定日とご注意事項
※上記を必ずご確認ください

【ご注意事項】 ※必ずお読みください
◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
◆事情により出荷が遅れる場合がございます。
◆お届け日のご指定は承っておりません。
◆「帯」はお付けできない場合がございます。
◆画像の表紙や帯等は実物とは異なる場合があります。
◆特に表記のない限り特典はありません。
◆別冊解答などの付属品はお付けできない場合がございます。
●3Dセキュア導入とクレジットカードによるお支払いについて
●店舗受取サービス（送料無料）もご利用いただけます。
ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら

サイズ B5判／ページ数 197p／高さ 26cm
商品コード 9784764902596
NDC分類 007.63
Cコード C3350

内容説明

本書は、１９９６年１２月に会津若松市で開催された、「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第３回ワークショップの論文集であり、厳正なる審査によって採択された３５編の論文からなっている。

フィルタ強等価を基にした部分的仕様の合成方法
Ａｕｔｏｍａｔｉｃ　Ｓｙｎｔｈｅｓｉｓ　ｏｆ　Ｓｐｅｃｉｆｉｃａｔｉｏｎｓ　ｆｒｏｍ　Ｓｙｓｔｅｍ　Ｒｅｑｕｉｒｅｍｅｎｔｓ
オブジェクト指向代数仕様作成のケーススタディ
重み付き依存グラフを用いたソフトウェア部品の洗練
プログラム理解のための依存関係表示ツール
並行オブジェクト指向言語に対する部分計算
Ｇｅｎｅｒｉｃ　Ｉｎｔｅｒａｃｔｉｏｎ　Ｍｏｄｅｌに基づく並行問題の設計
コミュニケーションモデルに基づくビジュアルな要求仕様化支援
ドメインモデルに基づくシステム開発ナビゲータ
クラスシステムに基づくソフトウェア開発環境向けグラフィカルユーザインタフェースの生成〔ほか〕