最近のシステム開発では、曖昧な仕様に起因したトラブル事例が多発しています。この曖昧さを防ぐ手法として、仕様を厳密に定義する形式手法（フォーマルメソッド）が注目されております。本書は、この形式手法を詳細、実務的に解説したもので、要求定義等の上流工程に携わるソフトウェア技術者にとっての、貴重な参考書とい...

ソフトウェア開発仕様に対する要求変更は日常茶飯事のものであり、開発プロジェクトにおいては、避けて通れない課題でもあります。本書では、ソフトウェア要求変更の原因を分析し、対処法と管理法を実践的に解説した書であり、システム設計、開発に携わる技術者に必ず読んでいただきたい1冊です。

インターネットへの不正アクセスを防止するには、より安全でバグのないソフトウェア開発が重要になります。本書では、不正アクセスからいかにシステムを守るかについてのプログラミング手法、設定手法のノウハウをTipsとして詳しく解説しております。Webアプリケーション開発に携わる全てのシステム開発者にとっての...

現在の組込みシステム開発の主流プログラミング言語である「C言語」から、今後は組込み系においてもJavaが中心になっていくものと考えられております。本書では、主にＣ言語プログラマを読者対象として、組込みJavaのプログラミング手法を解説したものであり、組込みJavaを学習されるプログラマにとっての待望...

本書は、ITサービスのベストプラクティスである、今話題の「ITIL」の国際標準であるITサービスマネジメント（ITSMS）について解説した書籍です。また、後半では、我国でも始まったITSMSの認証取得法についても解説しており、基礎知識はもとより、認証取得のための実践法までを解説した、実用的な1冊であ...

本書は、多くのITプロジェクトの失敗事例をベースに、その失敗要因を分析し、ITプロジェクトを成功させる多くのヒントを解説した書籍です。プロジェクトマネジャーはもとより、ITプロジェクトに携わる全ての方に読んでいただきたい、実用的な1冊であるといえます。

本書は、ＩＴサービスの委託者（顧客）と提供者（プロバイダー）との合意文書である「SLA」〜サービス・レベル・アグリーメント〜について解説したものです。 近年話題の「ITIL」のキーファクターとしても重要性が高まっておりますが、本書では、さらにSLAの実践的な作成法についても解説しており、顧客/プロ...

本書は、経済産業省が策定した、情報システムユーザ向けのITスキル標準「UISS」（情報システムユーザスキル標準）について、その詳細な解説と実践的な活用法を解説したものである。著者には、実際にUISSの策定に携わった第一人者の方々が執筆しており、情報システムユーザにとっては、UISS導入・活用のバイブ...

本書は、ソフトウェア保守作業そのものにスポットを当て、ソフトウェア保守作業や作業管理に関係する方々のために課題解決やプロセス改善を進める方法を解説しました。

本書は、PMOとは何たるか、どうあるべきかという概念的な解説より実際に企業にどのように受け入れられているのか、またその存在によって何が改善されているのかを多くの企業事例で紹介。 企業においてPMOをどのように実践していくかを模索している方々の待望の１冊である。