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

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

個数：

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

本位田真一/武市正人/米沢明憲【編】
価格 ¥3,204（本体¥2,913）
近代科学社（1996/01発売）
ポイント 29pt

出版社からのお取り寄せとなります。
入荷までにおよそ1～3週間程度かかります。
※商品によっては、品切れ等で入手できない場合がございます。
出荷予定日とご注意事項
※上記を必ずご確認ください

【出荷までの期間】
■通常、およそ1～3週間程度

【ご注意事項】 ※必ずお読みください
◆上記期間よりも日数がかかる場合がございます。
◆お届け日のご指定は承っておりません。
◆品切れ・絶版等により入手できない場合がございます。
◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
◆「帯」はお付けできない場合がございます。
◆画像の表紙や帯等は実物とは異なる場合があります。
◆特に表記のない限り特典はありません。
◆別冊解答などの付属品はお付けできない場合がございます。
◆店舗受取サービスはご利用いただけません。

●3Dセキュア導入とクレジットカードによるお支払いについて

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

内容説明

本書は、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第１回ワークショップ（ＦＯＳＥ’９４）で発表された論文の報告集。

仕様に基づく報品再利用法とその適用
代数的仕様の解析・検証・変換のための視覚的支援環境
ＣａｆｅＯＢＪによるＺ仕様の検証支援
フィールド指向言語Ｆｌａｇｅ
受信者数を考慮したブロードキャストシステムのためのプロセス代数
オブジェクト指向言語におけるクラス集合型検査
スライシング技法の応用によるプログラムの検証法
高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル
プロセスモデルＨＦＳＰにおける実行状態の動的制御の基礎
Ｔｒｉａｄｉｃ　Ｄｏｍａｉｎ　Ｍｏｄｅｌに基づくシステムの分析・設計〔ほか〕