Mükemmel Geliştirici - Perfect Developer

Bu makale şunları içerir: referans listesi, ilgili okuma veya Dış bağlantılar, ancak kaynakları belirsizliğini koruyor çünkü eksik satır içi alıntılar. Lütfen yardım edin geliştirmek bu makale tanıtım daha kesin alıntılar. (Mart 2017) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Mükemmel Geliştirici (PD) geliştirmek için bir araçtır bilgisayar programları titiz bir şekilde. BT sistemleri ve havadan kritik sistemler dahil olmak üzere alanlarda uygulama geliştirmek için kullanılır. İlke, resmi bir şartname geliştirmek ve şartnameyi koda göre iyileştirmektir. Araç temelli olmasına rağmen resmi yöntemler, tedarikçiler ileri matematik bilgisinin bir ön koşul olmadığını iddia ediyor.

PD, bir uzantısı olan Sözleşmeyle Doğrulanmış Tasarım paradigmasını destekler. Sözleşmeli tasarım. Sözleşmeyle Doğrulanmış Tasarımda, sözleşmeler tarafından doğrulanır. statik analiz ve otomatik teorem kanıtlama, böylece çalışma zamanında başarısız olmayacakları kesin.

Mükemmel şartname dili kullanılmış bir nesne odaklı stil, içinde kod üretme Programlama dilleri dahil olmak üzere Java, C # ve C ++. Tarafından geliştirilmiştir. İngiltere şirket Escher Technologies Ltd. Web sitelerinde, iddialarının dilin kendisinin mükemmel olmadığını, ancak kesin bir spesifikasyonu mükemmel bir şekilde uygulayan bir kod üretmek için kullanılabileceğini belirtiyorlar.

Ayrıca bakınız

• JML
• Güvenlik Bütünlüğü Seviyesi
• Teknik Özellikler #

Dış bağlantılar

• Mükemmel Geliştirici
• Escher Teknolojileri
• Savunma Standartları

Bu programlama aracı ile ilgili makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.