Пошук академічних текстів

Інформація × Реєстраційний номер 0494U002560, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 14-01-1994 Статус Запланована Назва роботи Исследование и реализация методов и средств теоретико-множественного программирования Здобувач Яковлев Сергей Викторович, Керівник Берестовая С.Н. Опонент Ющенко Е.Л. Опонент Дегтярев А.И. Опис Объект исследования: Теоретико-множественное программирование. Цель исследования: Исследование аспектов использования теоретико-множественных данных, разработка прототипа семейства языков спецификаций. Теоретические результаты и новизна: Новая методика телретико-множественного программирования. Практические результаты и новизна: Разработка и реализация оригинальной системы программирования. Предмет и степень внедрения: Система программирования внедрена и используется. Эффективность внедрения: Значительное повышение эффективности решения задач. Сфера (область) использования: Разработка программного обеспечения; ИК АН Украины. Дата реєстрації 1994-01-14 Додано в НРАТ 2020-05-17 Закрити