Формальные методы спецификации и их применения в разработке программ
Full Name of the work head: Тусупов Д.А.
Исполнители проекта: Сатекбаева А.Ж.
: Евразийский национальный университет им. Л.Н.Гумилева
Inventory number: 0212РК02874
Registration number: 0112РК02246
Keywords: Формальные спецификации, абстрактные типы, формальные методы, структуры, верифицируемость,
Объектом исследования являются представления вычислительных моделей в виде абстрактных типов данных, в частности алгебраические и дискретные структуры. Разработать формальные методы спецификаций, реализации абстрактных типов данных, разработать алгоритмы и программную реализацию структур данных, связанных с абстракцией. Современные подходы в технологии программирования порождают вопросы адекватности, разработанных либо генетических алгоритмов спецификации
