資料詳細

  • 1 件中、 1 件目

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

レクチャーノート／ソフトウェア学 --
本位田真一 ／編   -- 近代科学社 -- １９９６．０１ -- ２６ｃｍ -- ２１４ｐ

資料詳細

タイトル ソフトウェア工学の基礎 １
シリーズ名 レクチャーノート／ソフトウェア学
著者名等 本位田真一 ／編  
出版 近代科学社 １９９６．０１
大きさ等 ２６ｃｍ ２１４ｐ
分類 007.63
件名 電子計算機－ソフトウェア
注記 日本ソフトウェア科学会ＦＯＳＥ’９４
内容 各章末：参考文献
要旨 本書は、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第１回ワークショップ（ＦＯＳＥ’９４）で発表された論文の報告集。
目次 仕様に基づく報品再利用法とその適用；代数的仕様の解析・検証・変換のための視覚的支援環境；ＣａｆｅＯＢＪによるＺ仕様の検証支援；フィールド指向言語Ｆｌａｇｅ；受信者数を考慮したブロードキャストシステムのためのプロセス代数；オブジェクト指向言語におけるクラス集合型検査；スライシング技法の応用によるプログラムの検証法；高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル；プロセスモデルＨＦＳＰにおける実行状態の動的制御の基礎；Ｔｒｉａｄｉｃ　Ｄｏｍａｉｎ　Ｍｏｄｅｌに基づくシステムの分析・設計〔ほか〕
ISBN(13)、ISBN 　　 4-7649-0252-4
書誌番号 1196002396
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1196002396

ページの先頭へ

所蔵

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

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

ページの先頭へ