Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1998

Артикул:

1000256512

179 грн

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

• 
• 
• 

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

• Математическое обеспечение и алгоритмы обработки геофизической информации в частично когерентных оптико-электронных вычислительных системах
• Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
• Программное обеспечение хранилищ данных для формирования информационных ресурсов в региональном здравоохранении
• Методика оценки эффективности способов реляционного моделирования систем управления иерархическими данными
• Программный комплекс компьютерного исследования атмосферных процессов для многоядерных процессоров
• Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
• Инструментальное средство создания интеллектуальных систем идентификации технических состояний конструкций
• Комплекс алгоритмов генерации композиций для построения систем поддержки принятия решений
• Язык FlexT для спецификации бинарных форматов данных
• Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича