資料詳細

  • 1 件中、 1 件目

【図書】 形式手法入門

ロジックによるソフトウェア設計 --
中島震 ／著   -- オーム社 -- ２０１２．４ -- ２１ｃｍ -- ２１６ｐ

資料詳細

タイトル 形式手法入門
副書名 ロジックによるソフトウェア設計
著者名等 中島震 ／著  
出版 オーム社 ２０１２．４
大きさ等 ２１ｃｍ ２１６ｐ
分類 007.63
件名 ソフトウェア
注記 文献あり　索引あり
著者紹介 １９８１年東京大学大学院理学系研究科修士課程修了。現在、情報・システム研究機構国立情報学研究所・教授。形式手法、モデリングなど、ディペンダブル・ソフトウェア工学の研究に従事。
内容紹介 複雑な構造を数理理論に基づく論理構造で構築する形式手法を用いることによって、曖昧さのないプログラム記述が可能になる。本書では、その形式手法について、基礎から実務レベルのプログラミングまでを解説する。
目次 １章　論理で考える；２章　指先で考える；３章　機能仕様を論理で考える；４章　リファインメントを検査する；５章　オブジェクト指向デザインを検査する；６章　振る舞い仕様を検査する；７章　プログラム検査を論理で考える；付録　モデル規範形式手法の流れ
ISBN(13)、ISBN 978-4-274-21188-1　　 4-274-21188-6
書誌番号 1112030423
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1112030423

ページの先頭へ

所蔵

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

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

ページの先頭へ