Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования

English version

Дисертація на здобуття ступеня

Державний реєстраційний номер

0494U002560

Облікова картка дисертації

0494U002560.pdf

Здобувач

Яковлев Сергей Викторович

Спеціальність

05.13.11 -

Дата захисту

14-01-1994

Спеціалізована вчена рада

Д 016.45.01

Анотація

Объект исследования: Теоретико-множественное программирование. Цель исследования: Исследование аспектов использования теоретико-множественных данных, разработка прототипа семейства языков спецификаций. Теоретические результаты и новизна: Новая методика телретико-множественного программирования. Практические результаты и новизна: Разработка и реализация оригинальной системы программирования. Предмет и степень внедрения: Система программирования внедрена и используется. Эффективность внедрения: Значительное повышение эффективности решения задач. Сфера (область) использования: Разработка программного обеспечения; ИК АН Украины.

Читати повністю

Керівник роботи

Берестовая С.Н.

Офіційні опоненти

Ющенко Е.Л.
Дегтярев А.И.

Схожі дисертації

0493U001023

Соболева Наталья Владимировна

Инструментальные средства поддержки обработки математической информации

0493U001128

Бакулин Александр Владимирович

Развитие метода и инструментария многоуровневого доказательного проектирования программ

0493U002308

Калита Александр Викторович

Программно-алгоритмическое и информационное обеспечение построения интеллектуальных программных систем интегрированной обработки временных рядов

0493U002329

Саад Кадум Маджид

Автоматизированная система инкрементной разработки больших программ для мини- и микро- ЭВМ

0493U002079

Гостилова Светлана Валентиновна

Программные механизмы повышения отменостойкости распределенных систем