レクチャーノート/ソフトウェア学<br> ソフトウェア工学の基礎〈6〉日本ソフトウェア科学会FOSE’99

個数:

レクチャーノート/ソフトウェア学
ソフトウェア工学の基礎〈6〉日本ソフトウェア科学会FOSE’99

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

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

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

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • サイズ B5判/ページ数 282p/高さ 26cm
  • 商品コード 9784764902787
  • NDC分類 007.63
  • Cコード C3350

内容説明

計算機科学・ソフトウェア科学の分野の研究・教育における新しい発展・研究成果を迅速に公表するために、時宜を得た原著論文・解説論文の予備原稿、テクニカルレポート、講義録、研究会・ワークショップ報告集などを刊行するシリーズ。本書は、1999年11月に北海道登別市で開催された、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」第6回ワークショップの論文集である。一般講演論文は、ソフトウェア工学における基礎理論や基礎概念ならびに基盤技術に関するものであり、招待講演は、「ソフトメカニクスにおける制御プログラムの構成」と「鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド」の2件である。

目次

招待講演
ミニワークショップ
プロセス計算
アーキテクチャ
誤り訂正
ソフトウェア(開発)モデル
代数仕様
エージェント
検証
ドメインモデルとコンポーネント
計算モデル
自律/協調

最近チェックした商品