- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
Тип роботи:
диссертация доктора физико-математических наук в
Рік:
2003
Кількість сторінок:
59
Артикул:
15238 179 грн
Рекомендовані дисертації
- Компьютерные методы защиты информации на основе управляемых операций
- Компьютерная обучающая система китайской письменности
- Методы построения инструментальных средств разработки программного обеспечения систем реального времени
- Методы и алгоритмы обработки изображений в системе телевизионного контроля тепловыделяющих сборок водо-водяного энергетического реактора
- Высокоточные вычисления с динамической длиной операндов в многопроцессорных системах
- Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках
- Методы и инструментальные средства проектирования систем документооборота программных проектов
- Исследование и разработка синмакропроцессорного метода автоматизированного проектирования языковых конверторов. Приложение
- Методология разработки и внедрения программно-математического и информационного обеспечения систем органов государственного управления
- Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования