Book List書籍一覧
近代科学社の取り扱ってる書籍一覧です
検索もご利用いただけます
-
効果的プログラム開発技法 第5版
1979年に初版を発行して以来、時代と状況に合わせて改訂を重ねて使われ続けてきたシステム開発技法解説書の第5版。
どんなことにも情報システムが欠かせない現代では、その開発環境も多様化し日々刻々と進化をしている。しかし、どんな環境で、誰が開発をしようとも、ユーザーの真のニーズをしっかりと把握し、それをシステム要件に反映すること、ユーザーの使い勝手の良いシステムを設計・開発することがシステム開発の原点である。
本書は、そのような視点と、システム開発技法の歴史、著者の経験と研究を土台にして、開発者はもちろん、開発されたシステムを利用するユーザーにまでメリットをもたらす技法を余すことなく解説する。プロジェクトマネージャーや現場の開発者必携のバイブル。 -
実践的ソフトウェア工学
ありそうで無かった解説書!机上の理論ではなく、開発の現場で活かせる実践的知識と理論の体系化!
■ソフトウェア開発の裏表を知り尽くした現役エンジニアが語る基本とエッセンス!
ソフトウェア工学は、ソフトウェア開発に内在する課題や問題を解決する土台となる基礎知識。しかし、様々な要素が複雑に絡まる開発現場では、抽象化された理論では対応しきれない面があることも否定できない。本書は著者が長く開発の第一線で活躍してきた中で、理論と経験を現場で活かせる知識として体系化した、実践に使えるソフトウェア工学の解説書。エンジニアの目からウロコの1冊です。 -
SPINによる設計モデル検証
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。 -
ソフトウェア科学基礎
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。
本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。 -
Bメソッドによる形式仕様記述
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。 -
ソフトウェアパターン
本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。 -
ソフトウェア工学の基礎 XIII (13)
本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE:Foundation of Software Engineering)が主催する第13回ワークショップの論文集である。 -
ソフトウェア・テストの技法
1979年に発行された『ソフトウェア・テストの技法』は、「作ったソフトウェアが意図した通りに動き、意図していないことはしないようにするにはどうしたらよいか」という、もっとも根本的な問題を扱っており、四半世紀にわたって読み継がれる、この分野の古典となっている。
第2版では、インターネット時代に合ったソフトウェアの品質を確保するため、第8章を全面的に書き換え、第9章と付録を新たに追加した。 -
ソフトウェア工学の基礎 XII (12)
本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE:Foun‐dation of Software Engineering)が主催する第12回ワークショップの論文集である。 -
ソフトウェア工学の基礎 XI (11)
「ソフトウェア工学の基礎研究会」のワークショップの論文集である。