スマホから自動車、ＴＶから銀行ＡＴＭまで、便利で快適な生活を、陰で支えるソフトウェア。障害が起こると安全で安心な社会に支障をきたします。ソフトウェアの不具合がもたらすリスクを低減しなければなりません。そのような研究を、欧米では、超国家的規模で戦略的に推進しています。ソフトウェアを支配する複雑さの本質を知ることが、２１世紀のイノベーションを支えるテクノサイエンスの鍵なのです。本書は、ソフトウェアの真の姿を知るのに必要な事柄、リテラシーを紹介します。
もくじ情報：第１章　社会の基盤をなすソフトウェア；第２章　頻発するソフトウェア障害；第３章　科学的な方法への期待；第４章　ソフトウェアの科学と技術；第５章　ソフトウェア開発の周辺；第６章　つながる世界のソフトウェア

中島　震(ナカジマ　シン)
国立情報学研究所・教授。１９７９年東京大学理学部卒業。１９８１年東京大学大学院理学系研究科修士課程修了。学術博士（東京大学）。２００４年より現職。２００５年より総合研究大学院大学複合科学研究科教授を併任。専門は、ソフトウェア工学、形式手法、モデリング