Search academic texts

Information × Registration Number 0494U002560, Candidate dissertation Status к.ф.-м.н. Date 14-01-1994 popup.evolution o Title Author Яковлев Сергей Викторович, popup.head Берестовая С.Н. popup.opponent Ющенко Е.Л. popup.opponent Дегтярев А.И. Description Объект исследования: Теоретико-множественное программирование. Цель исследования: Исследование аспектов использования теоретико-множественных данных, разработка прототипа семейства языков спецификаций. Теоретические результаты и новизна: Новая методика телретико-множественного программирования. Практические результаты и новизна: Разработка и реализация оригинальной системы программирования. Предмет и степень внедрения: Система программирования внедрена и используется. Эффективность внедрения: Значительное повышение эффективности решения задач. Сфера (область) использования: Разработка программного обеспечения; ИК АН Украины. Registration Date 1994-01-14 popup.nrat_date 2020-05-17 Close