ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎
Author(s)
Bibliographic Information
ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎
（トップエスイー基礎講座, 1）
近代科学社, 2008.9
- Other Title
-
Basics of software science
- Title Transcription
-
ソフトウェア カガク キソ : サイセンタン ノ ソフトウェア カイハツ ニ モトメラレル スウリテキ キソ
Access to Electronic Resource 2 items
Available at / 78 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.63-To65-110008018110
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他の著者: 粂野文洋, 櫻庭健年, 田口研治, 田原康之
監修: 田中譲
参考文献: p335-338
Description and Table of Contents
Table of Contents
- 第０章 これから技術者をめざす人のために
- 第１章 論理—正しいと考えられる事柄から正しい事柄を新たに導く
- 第２章 集合—多様な構造や構成の方法を知る
- 第３章 並行プログラム—並行性に特有の概念と知識を学ぶ
- 第４章 時相論理—システムやプログラムの動的な性質を記述する
- 第５章 検証性質の記述—一般の技術者がシステムの性質を記述する
- 第６章 オートマトン—コンピュータの動作を形式的に表現する
- 第７章 モデル検査基礎—並行システムのモデル検査を行う
- 第８章 モデル検査実装—検証モデル記述のノウハウを利用する
- 第９章 抽象解釈—モデル検査の複雑さを軽減する
- 第１０章 モデル検査ツール—ＳＰＩＮ、ＳＭＶ、ＬＴＳＡ、ＵＰＰＡＡＬを使う
by "BOOK database"
