- Об институте
- Инновации
- Структура
                    - Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
 
- Образование
- Издания
- Новости
- Лицензии
- О Лаврищевой Е.М.
- Аннотированный список научных работ
- Монографии
- Учебные пособия
- Статьи
- Доклады
- Лекции
- Программная инженерия (сайт)
Новости
		
			28 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
Монографии Лаврищевой Е.М.
Лаврищева Е.М. Методы программирования. Теория, практика, инженерия. Наукова думка, 2006. 471 с.
Проведена систематизация и изложена теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, методы спецификации и доказательства программ, верификации и тестирования для оценки надежности и качества, а также методы инженерии планирования и управления программными проектами. Определен базис инженерии приложений и предметных областей, а также комплексный подход к реализации программных проектов. Приведены перспективы развития программирования и инженерии предметных областей.
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
        Понятно
     
 
            		