Идеальный разработчик
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Март 2017 г. ) |
Perfect Developer (PD) — это инструмент для разработки компьютерных программ тщательной . Он используется для разработки приложений в таких областях, как ИТ-системы и критически важные бортовые системы. Принцип заключается в разработке формальной спецификации и доработке спецификации до кода. Несмотря на то, что инструмент основан на формальных методах , поставщики утверждают, что глубокие математические знания не являются обязательным условием.
PD поддерживает парадигму «Проверенное проектирование по контракту», которая является расширением парадигмы « Проектирование по контракту» . В «Проверенном проектировании по контракту» контракты проверяются с помощью статического анализа и автоматического доказательства теорем, поэтому можно быть уверенным, что они не подведут во время выполнения.
Используемый язык Perfect спецификации имеет объектно-ориентированный стиль и создает код на языках программирования, включая Java , C# и C++ . Он разработан британской компанией Escher Technologies Ltd. На своем веб-сайте они отмечают, что их утверждение заключается не в том, что язык сам по себе идеален, а в том, что его можно использовать для создания кода, который идеально реализует точную спецификацию.
См. также [ править ]
Внешние ссылки [ править ]
 | Эта инструментам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |