يركز هذه البحث على تقصي النقاط التي لم تغطِ بشكل كامل ضمن منهجيات هندسة البرمجيات المقادة بالوكلاء (AOSE) و قد اعتمد على مراجعة موسعة لهذه المنهجيات. ترتكز هذه الورقة بشكل أساسي على أن كل منهجية لها نقاط قوتها و ضعفها و قد تركز على بعض مراحل دورة الح
ياة البرمجية و ليس عليها كلها مجتمعة. العمل المقدم هنا يقدم تمديداً لواحدة من أهم منهجيات هندسة البرمجيات المقادة بالوكلاء (MaSE) التي تعد من أقوى المنهجيات و لكنها لا تعير اهتماماُ كافياُ لمرحلة التحليل المبكر للمتطلبات. يعتمد العمل على المكاملة مع إحدى المنهجيات التي تركز على مرحلة المتطلبات، و هذه المكاملة اقتضت تطوير مجموعة موسعة من قواعد التحويل بين بيئتين برموز و مفاهيم متباينة، و بناء برنامج يؤتمت عملية التحويل.
و تعرض هذه الورقة أيضاً مثالاً كاملا case study نطبق عليه العمل المنجز.
تقسم هذه الدراسة إلى قسمين, يلقي القسم الأول الضوء على النماذج الضارة و مقارنتها بنماذج التصميم. نقترح في القسم الثاني أداة قادرة على اكتشاف مثل هذه النماذج في مراحل مبكرة من عمر تطوير البرمجية.
