يشرح هذا الكتاب بين دفتيه المواضيع التالية:
الأنظمة البرمجية كأنظمة تقنية اجتماعية.
الأنظمة البرمجية الحرجة: ماهيتها وخصائصها وتوصيفها وتطويرها وإثبات صحتها.
نماذج إجرائيات تطوير النظام البرمجي وتحسينها.
مبادئ تخطيط المشروع البرمجي.
إجرائيات هندسة المتطلبات ونمذجتها وتوصيفها صورياً.
أسس تصميم بنيان النظام البرمجي.
أسس تصميم الأنظمة غرضية التوجه والتطبيقات الموزعة ونظم الزمن الحقيقي وواجهات الاستخدام.
منهجيات التطوير السريع بما فيها المنهجيات الرشيقة.
مبادئ إعادة استخدام البرمجيات وهندسة البرمجيات المرتكزة على المكونات.
تطور الأنظمة البرمجية.
تقنيات إثبات صحة البرمجيات والتحقق منها واختبارها.
أفكار هامة في إدارة الفريق البرمجي.
تقدير كلفة المشاريع البرمجية.
إدارة الجودة.
يشرح هذا الكتاب بين دفتيه المواضيع التالية:
الأنظمة البرمجية كأنظمة تقنية اجتماعية.
الأنظمة البرمجية الحرجة: ماهيتها وخصائصها وتوصيفها وتطويرها وإثبات صحتها.
نماذج إجرائيات تطوير النظام البرمجي وتحسينها.
مبادئ تخطيط المشروع البرمجي.
إجرائيات هندسة المتطلبات ونمذجتها وتوصيفها صورياً.
أسس تصميم بنيان النظام البرمجي.
أسس تصميم الأنظمة غرضية التوجه والتطبيقات الموزعة ونظم الزمن الحقيقي وواجهات الاستخدام.
منهجيات التطوير السريع بما فيها المنهجيات الرشيقة.
مبادئ إعادة استخدام البرمجيات وهندسة البرمجيات المرتكزة على المكونات.
تطور الأنظمة البرمجية.
تقنيات إثبات صحة البرمجيات والتحقق منها واختبارها.
أفكار هامة في إدارة الفريق البرمجي.
تقدير كلفة المشاريع البرمجية.
إدارة الجودة.