22 апреля 2010 · Комментарий

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

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Тема да, интересная. Там в статье использовали PVS, а его народ часто использует для моделирования системы перед началом разработки. По моему опыту подобное моделирование весьма полезно для понимание требований, даже если кода никакого не генерить. Естественно, надо применять селективно к критическим участкам.