Ви є тут

Методы и инструменты метрической поддержки разработки качественных программ

Автор: 

Черноножкин Сергей Константинович

Тип роботи: 

Кандидатская

Рік: 

1998

Артикул:

1000256512

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Компьютеризация булевой алгебры в диалоговой системе структурированного программирования
• Функциональные системы полиномов и их применение в программировании для вычислительных систем и сетей
• Методы и средства прогнозирования времени выполнения последовательных фрагментов программ на вычислителях с различной архитектурой
• Методы пространственного индексирования в СУБД
• Применение формальных методов для тестирования компиляторов
• Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
• Разработка и реализация формальных онтологий пространственных данных и сервисов
• Параллельно-рекурсивные методы выполнения вейвлет-преобразования в задачах обработки дискретных сигналов
• Организация сетевых структур знаний, поддерживающая их редактирование
• Исследование и разработка методов извлечения знаний для создания интеллектуальных систем поддержки принятия решений