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