- ソフトウェア工学の基礎 3
-
- 価格
- 3,080円(本体2,800円+税)
- 発行年月
- 1996年12月
- 判型
- B5
- ISBN
- 9784764902596
この商品をご覧のお客様は、こんな商品もチェックしています。
- 「わかる」のしくみ
-
価格:1,210円(本体1,100円+税)
【2025年10月発売】
- 情報と建築学
-
価格:2,970円(本体2,700円+税)
【2024年03月発売】
- 実用組込みOS構築技法
-
価格:5,390円(本体4,900円+税)
【2001年11月発売】
- 差別語からはいる言語学入門
-
価格:1,100円(本体1,000円+税)
【2012年06月発売】
- ことばは国家を超える
-
価格:924円(本体840円+税)
【2021年04月発売】


























[BOOKデータベースより]
本書は、1996年12月に会津若松市で開催された、「ソフトウェア工学の基礎研究会」(略称FOSE)の第3回ワークショップの論文集であり、厳正なる審査によって採択された35編の論文からなっている。
フィルタ強等価を基にした部分的仕様の合成方法
Automatic Synthesis of Specifications from System Requirements
オブジェクト指向代数仕様作成のケーススタディ
重み付き依存グラフを用いたソフトウェア部品の洗練
プログラム理解のための依存関係表示ツール
並行オブジェクト指向言語に対する部分計算
Generic Interaction Modelに基づく並行問題の設計
コミュニケーションモデルに基づくビジュアルな要求仕様化支援
ドメインモデルに基づくシステム開発ナビゲータ
クラスシステムに基づくソフトウェア開発環境向けグラフィカルユーザインタフェースの生成〔ほか〕