SPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍

◆SPINとは？
社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況が出てきている。
そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。限られたテストケースでの誤りの無さを保障する従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査法は、無限に近い組合せに対しても正しさを保障できる手法であり、その中でもSPINは実際に産業界での適用事例も豊富で、その技術習得がソフトウェア技術者の必須要素として注目されてきている。

情報、物、お金、人などあらゆる流れを捉え、これからの社会と経済を理解する！キーワードは複雑ネットワーク！！今、注目のネットワーク科学について、単に事例紹介にとどまらず、実際に「ビジネス・シーンで使う」ためのツールを集めて、解説した道具箱である。情報通信ネットワークに限らず「人と人」「企業と企業」といった身近な「つながり」を科学的に紐解き関係を明らかにするとともに、自然現象や経済活動といった複雑な関係性の持つ事象にも、科学的なアプローチで分析を試みる。

仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。

本書によって学習すれば「コンピュータサイエンス」における「OS 学」という専門分野の位置付けが明らかになる．

本書では「情報を高度に処理するコンピュータにおけるオペレーティングシステム（OS）の基本的な役割」について解き明かしている。本書がカバーする範囲はコンピュータのユーザとハードウェアとの間に置く基本ソフトウェアであるOSの「原理」であり、またソフトウェアとハードウェアとの接点（インタフェース）としての「OSの基本機能」である。「OSはコンピュータサイエンス学の基盤的専門分野」の位置付けで「OSのホワットツー（what to）」すなわち「OS学」について体系的に整理し明らかにする。本書の読者は「情報基盤技術としてのOS技術についてのホワットツーを身につけている高度専門技術者」になれる。

2007年開催の第14回「ソフトウェア工学の基礎研究会」のワークショップで発表された論文集。

本書は重要なポイントが一目でわかり直感的な理解が出来るように、説明と紙面デザインを工夫した「スッキリ数学シリーズ」の第４弾です。「応用解析」の教科書として複素関数論とフーリエ解析の導入までを単に知識の提供ではなく、その概念がしっかり身につくことを目標とした1冊です。高校の新課程を配慮し複素数の入門から解説。同シリーズの「スッキリわかる微分方程式とベクトル解析」とあわせ理工系学生に必要な応用解析の基礎分野をカバーしました。

※教科書に採用いただいた先生には、授業を行う上で基となる著者作成のPowerPointをPDFにした資料がございます。詳しくは「教科書献本申込」リンク先のフォームより、「教科書に関するご質問・相談」にてお問い合わせください。

本書は情報処理学会のソフトウェアエンジニアリングシンポジウムの論文をまとめたもの。