ありそうで無かった解説書！机上の理論ではなく、開発の現場で活かせる実践的知識と理論の体系化！

■ソフトウェア開発の裏表を知り尽くした現役エンジニアが語る基本とエッセンス！
ソフトウェア工学は、ソフトウェア開発に内在する課題や問題を解決する土台となる基礎知識。しかし、様々な要素が複雑に絡まる開発現場では、抽象化された理論では対応しきれない面があることも否定できない。本書は著者が長く開発の第一線で活躍してきた中で、理論と経験を現場で活かせる知識として体系化した、実践に使えるソフトウェア工学の解説書。エンジニアの目からウロコの１冊です。

情報化技術の進歩によって、あらゆることが細分化され複雑になり、個人も組織も、扱う情報量は増加の一途をたどっています。　情報量の増加とともに、その情報をもとにした分析と判断を求められる場面が増え、それらの正確さ、および、スピードの要求レベルも高まる一方です。
　現代は、的確な情報分析による判断の結果としての意思決定が、個人の人生や企業の戦略的目標達成の明暗を分ける時代になったと言っても過言ではありません。
　多変量解析は、そうした重要かつスピードが必要な意思決定に不可欠な情報分析の手法として広く活用されています。
　本書はその多変量解析を、野球や芸能界など身近で親しみやすい事例とデータを用いて、わかりやすく解説した、好評入門書の改訂版です。

注目が高まっている『サービスサイエンス』に関して、その背景、理論、実際の適用分野と、数理手法・価値計測法など、身近な事例を交えて具体的に解説する待望の書！
先進主要国においてサービス産業が経済の多くを担い、経済成長のため、また、金融危機に端を発する世界的な不況を脱するためにサービス産業の成長と革新が求められているのは間違いありません。
旧来、形のないサービスを目に見える形にすること（モデル化）は難しいとされ、サービスの質的向上は定性的な経験と勘に頼りがちでした。しかし、コンピュータ、社会、認知、経営、マーケティング、数学など、発達したあらゆる科学分野を統合する形のアプローチによって、サービスを形にすることが注目されています。これがサービスサイエンスです。
理論は提唱されながら具体的な手法の提示が少なかったサービスサイエンスという分野に、具体性と数理手法を提示する、即戦力のテキストです。

単なる詰め込みにならないようサマリ編とリファレンス編の2部構成！
応用数学のコンパクトかつ十分な教科書＋演習書。FE試験（米国で高度技術者の証となるPE試験の1次試験に相当）レベルの数学の問題が解ける学力の養成を学習目標としている。

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１５回ワークショップの論文集。

コンパイラの基礎知識からyacc/lexを使った実装までを解説する定番中の定番テキスト！

コンパイラに関する基礎的知識とyacc/lexを使った実装方法について、コンパイラのプログラムを示しながら解説する教科書。情報工学系の大学生や専門学校生が、常識として求められるであろう水準の、言語処理システムについての知識を身につけるために最適の入門書。

※本書の講義資料は、ページ下のサポートから入手できます。

□進路を考えている中高生に向けた新しい視点

この本に登場する研究者や技術者は、自身の研究に関して、文系や理系といった、旧来の枠組みにとらわれず必要な研究とキャリアを重ねて実績を残しています。
このような個性が溢れる先輩の進路選択のきっかけと今を知ることは、進路を考える上で、その選択肢と可能性を広げるヒントと指針になるでしょう。

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。