Без заголовка

Проектные характеристики отражают затягивание и удорожание проектов, но не отражают тех проблем, которых удалось избежать путем применения формальных методов. Так что тут надо осторожно изучать эти оценки. В целом же конечно, на данный момент так дело и обстоит. Ибо всякие формализации весьма затратны на данный момент. В частности, UML предполагает прямую генерацию кода как правило, а код сей не удобен в реальном использовании. Т.е. нужно делать непрямую трансляцию, а гибко настраиваемую. А таких тулзов на данный момент нет, либо они слишком сложны в изучении. Поэтому, мне в реальных проектах формальные методы пока не удалось применить. Исключая разве что тестирование, где в ограниченном виде кое что удается. Но на этапе анализа требований - без последующей генерации программного кода - формальные методы думаю почти всегда полезны. Ибо на этом этапе, ошибки наиболее дешевы. Поэтому имеет смысл потратить усилия сейчас, чтобы не мучаться на этапе реализации и тестирования. Возможно это ухудшит проектные характеристики, затягивая фазу дизайна. Ну а что делать, кому сейчас легко? :)