Идеальный разработчик
-
Обзор инструмента Perfect Developer (PD)
- PD предназначен для разработки сложных программных приложений в ИТ-системах и критически важных бортовых системах.
- Он основан на формальных методах разработки, но не требует глубоких математических знаний.
- Поддерживает парадигму Verified Design by Contract, которая обеспечивает статическую проверку и автоматическое доказательство корректности контрактов.
- Язык спецификации PD имеет объектно-ориентированный стиль и совместим с языками Java, C# и C++.
- Разработан британской компанией Escher Technologies Ltd., которая подчеркивает, что язык не является совершенным, но позволяет создавать код, соответствующий точной спецификации.
-
Дополнительная информация
- Статья содержит ссылки на другие связанные инструменты и стандарты, а также предлагает возможность расширения статьи для Википедии.