نهج تحويل البرنامج لأتمتة إعادة هندسة البرمجيات

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