أسس أنماط التصميم في بيئة الكائنات الموجهة، وأنماط التصميم في بيئة الكائنات الموجهة، ودراسة حالات فردية منتقاة من الأدبيات في تصميم وتحليل هيكلية البرمجيات، وطرق معاينة هيكلية البرمجيات والتحقق من صحتها وتوثيقها، ودراسة حالات فردية حول تصميم ومعاينة برمجيات الأنظمة الموزعة والمحمولة.
