資料詳細

  • 1 件中、 1 件目

【図書】 ソフトウェア工学の基礎 ６

レクチャーノート／ソフトウェア学 --
荒木啓二郎 ／編, 張漢明 ／編   -- 近代科学社 -- １９９９．１２ -- ２６ｃｍ -- ２８２ｐ

資料詳細

タイトル ソフトウェア工学の基礎 ６
シリーズ名 レクチャーノート／ソフトウェア学
著者名等 荒木啓二郎 ／編, 張漢明 ／編  
出版 近代科学社 １９９９．１２
大きさ等 ２６ｃｍ ２８２ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 日本ソフトウェア科学会ＦＯＳＥ　’９９　シリーズの編者：武市正人，米澤明憲
内容 文献あり
要旨 計算機科学・ソフトウェア科学の分野の研究・教育における新しい発展・研究成果を迅速に公表するために、時宜を得た原著論文・解説論文の予備原稿、テクニカルレポート、講義録、研究会・ワークショップ報告集などを刊行するシリーズ。本書は、１９９９年１１月に北海道登別市で開催された、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」第６回ワークショップの論文集である。一般講演論文は、ソフトウェア工学における基礎理論や基礎概念ならびに基盤技術に関するものであり、招待講演は、「ソフトメカニクスにおける制御プログラムの構成」と「鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド」の２件である。
目次 招待講演；ミニワークショップ；プロセス計算；アーキテクチャ；誤り訂正；ソフトウェア（開発）モデル；代数仕様；エージェント；検証；ドメインモデルとコンポーネント；計算モデル；自律／協調
ISBN(13)、ISBN 　　 4-7649-0278-8
書誌番号 1199065453
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1199065453

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/1423/22 一般書 利用可 - 2018388360 iLisvirtual

ページの先頭へ