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