Ви є тут

Тестирование на основе формальных спецификаций в процессах разработки программных комплексов

Автор: 

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

Тип роботи: 

диссертация доктора физико-математических наук в

Рік: 

2003

Кількість сторінок: 

59

Артикул:

15238

179 грн

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

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

• Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений
• Методы интеграции логического программирования и программирования в ограничениях
• Методика анализа защищенных систем IP-телефонии
• Математическое и программное обеспечение системы анализа динамики земной поверхности по данным дистанционного зондирования Земли
• Методология разработки и внедрения программно-математического и информационного обеспечения систем органов государственного управления
• Методы и средства планирования вычислений в системах автоматизированного динамического распараллеливания программ
• Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля
• Методы и средства автоматизированного распараллеливания приложений в распределенной среде
• Автоматизированная генерация информационных систем, ориентированных на данные
• Доменно-ориентированная модель данных с учетом свойств упорядоченности