- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Спецификация и тестирование компонентов с асинхронным интерфейсом
Тип роботи:
диссертация кандидата физико-математических наук
Рік:
2006
Артикул:
14997 179 грн
Рекомендовані дисертації
- Теория конформности для функционального тестирования программных систем на основе формальных моделей
- Методы и программные средства поддержки принятия решений на основе нечётких ситуационных сетей
- Методы обработки данных скважинной сейсморазведки для прямых поисков нефти и газа и их программная реализация
- Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
- Исследование и разработка системы управления бизнес-процессами
- Математическое обеспечение многоуровневых систем распознавания сигнальной информации в условиях априорной неопределенности
- Исследование и разработка модели и средств доступа к реляционной базе данных на логически независимом уровне
- Создание диалоговой системы проектирования сотовых сетей
- Разработка прекомпилируемой защиты программных систем с посткомпилируемой обработкой исполняемого кода на основе конечно-автоматных моделей
- Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ