Структура:
			
			
				
					
						
							| Семестр | 
							Всего (ч) (Лекц / Практ. / Лаб.) | 
							Аттестация | 
						
					
					
							
								| 2 | 
								180 (15 / 15 / 15)  | 
								Экзамен | 
							
						
							| Итого | 
							180 (15 / 15 / 15)  | 
							Экзамен | 
						
					
				
			 
		 
			
				
					Компетенции:
				
				
					
							- УК-3 - Способен организовывать и руководить работой команды, вырабатывая командную стратегию для достижения поставленной цели
 
							- ПК-6 - способен применять существующие подходы к верификации моделей программного обеспечения
 
							- ПК-11 - способен проектировать основные компоненты операционных систем
 
							- ПК-12 - способен проектировать вспомогательные и специализированные языки программирования и языки представления данных
 
							- ПК-18 - способен применять навыки создания компонент операционных систем и систем реального времени
 
							- ПК-20 - способен применять навыки организации промышленного тестирования создаваемого программного обеспечения
 
							- ПК-8.1 - Способен использовать методы сопровождения программного обеспечения