ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎

著者

• 田中, 譲 タナカ, ユズル
• 磯部, 祥尚 イソベ, ヨシナオ
• 粂野, 文洋 クメノ, フミヒロ
• 櫻庭, 健年 サクラバ, タケトシ
• 田口, 研治 タグチ, ケンジ
• 田原, 康之 タハラ, ヤスユキ

書誌事項

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎

磯部祥尚 [ほか] 著

（トップエスイー基礎講座, 1）

近代科学社, 2008.9

タイトル別名

Basics of software science

タイトル読み

ソフトウェア カガク キソ : サイセンタン ノ ソフトウェア カイハツ ニ モトメラレル スウリテキ キソ

電子リソースにアクセスする 全1件

• ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎

  2008.9.

  Maruzen eBook Library

注記

その他の著者: 粂野文洋, 櫻庭健年, 田口研治, 田原康之

監修: 田中譲

参考文献: p335-338

内容説明・目次

目次

• 第０章　これから技術者をめざす人のために
• 第１章　論理—正しいと考えられる事柄から正しい事柄を新たに導く
• 第２章　集合—多様な構造や構成の方法を知る
• 第３章　並行プログラム—並行性に特有の概念と知識を学ぶ
• 第４章　時相論理—システムやプログラムの動的な性質を記述する
• 第５章　検証性質の記述—一般の技術者がシステムの性質を記述する
• 第６章　オートマトン—コンピュータの動作を形式的に表現する
• 第７章　モデル検査基礎—並行システムのモデル検査を行う
• 第８章　モデル検査実装—検証モデル記述のノウハウを利用する
• 第９章　抽象解釈—モデル検査の複雑さを軽減する
• 第１０章　モデル検査ツール—ＳＰＩＮ、ＳＭＶ、ＬＴＳＡ、ＵＰＰＡＡＬを使う

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA87374579
• ISBN:
  • 9784764903555
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xiii, 345p
• 大きさ: 24cm
• 分類:
  • NDC8 : 007.63
  • NDC9 : 007.63
  • NDC9 : 007.61
• 件名:
  • BSH : ソフトウェア工学
• 親書誌ID:
  • BA87374251