Формально-математические методыФормально-математические методы 1)Методы формального синтеза ПО. Поскольку программа является математическим обьектом,ее во многих случаях можно получить автоматически путем преобразования моделей построенных в графической или символьной форме.Эта идея лежит в основе автоматических кодогенераторов и других CASE-средств,позволяющих синтезировать программный код на основе структурной схемы,блок-схемы алгоритма или автоматной модели.Несмотря на широкое примение таких средств синтезировать ПО в полном обьеме (программирование без программиста)пока не удается. Недостатки: · Недостаточное развитие теоретической базы. · Высокая трудоемкость построения математических моделей,за частую превышающая трудоемкость написания программного кода. · Недостаточное качество автоматически сгенерированного кода. Формальный синтез широко применяется для решения отдельных задач,однако не применим для получения системы в целом
|