مطور مثالي

يُعدّ برنامج Perfect Developer (PD) أداةً لتطوير برامج الحاسوب بطريقةٍ دقيقة. يُستخدم لتطوير تطبيقات في مجالاتٍ تشمل أنظمة تكنولوجيا المعلومات والأنظمة الحيوية المحمولة جواً. يقوم مبدأ البرنامج على وضع مواصفاتٍ رسمية ثمّ تحسينها لتصبح شفرةً برمجية. مع أن البرنامج قائمٌ على أساليب رسمية ، إلا أن مُطوّريه يؤكدون أن المعرفة الرياضية المتقدمة ليست شرطاً أساسياً لاستخدامه.

يدعم PD نموذج التصميم الموثق بالعقد، وهو امتداد لنموذج التصميم بالعقد . في التصميم الموثق بالعقد، يتم التحقق من صحة العقود من خلال التحليل الثابت وإثبات النظريات الآلي، مما يضمن عدم فشلها أثناء التشغيل.

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

• JML
• مستوى سلامة النظام

• مطور مثالي
• تقنيات إيشر
• معايير الدفاع