+7 (843) 203-92-53
university@innopolis.ru
Сотрудничество
Курсы повышения квалификации и переподготовки

Курсы повышения квалификации и переподготовки по ИТ-направлениям Университета Иннополис

 

 

Управление проектами с помощью Spider Project

Курс «Управление проектами с помощью Spider Project» дает базовые навыки работы в системе Spider Project и необходимые сведения о системы Spider Project и ее терминологии. Он включает в себя изучение процедур создания проекта, планирование работ, анализ полученных результатов, ведения учета исполнения работ.

   

Архитектура программного обеспечения

Курс поможет понять, что такое архитектура ПО и как на неё влияют бизнес-цели и атрибуты качества. Вы так же научитесь анализировать атрибуты качества такие как: доступность, совместимость, модифицируемость, производительность, безопасность, тестируемость и практичность. Курс научит использовать архитектурные стили, тактики и модели в проектировании архитектуры и использовать правильную методологию архитектурного проектирования (например, ADD, ACDM, и др.) для создания архитектуры системы ПО.

 

Бизнес-анализ

Во время этого курса вы изучите многообразие подходов для решения бизнес-задач, рассмотрите факторы, ограничивающие возможные решения, и научитесь находить альтернативные подходы. Материал курса подробно рассказывает о методах документирования процесса выявления требований от заинтересованных лиц, управления рисками и пути сообщения решений конечным пользователям, инвесторам, проектировщикам и членам команды разработчиков.

 

Процессы разработки ПО

Разработка широкомасштабных систем программного обеспечения требует способности управлять как человеческими и вычислительными ресурсами с полным контролем процесса разработки. На этом тренинге даются знания и навыки, необходимые для понимания взаимосвязи разработки ПО, управления рисками и комплексного понимания процесса разработки ПО.

   

Обеспечение качества ПО

Тренинг научит анализировать качество ПО с разных точек зрения. Вы изучите атрибуты качества и методы, подходящие для их верификации: тестирование программного обеспечения, статический анализ и проверка моделей, осмотры, технический долг, расходы на качество программного обеспечения, планирование качественных, количественных моделей и классификации дефектов. Тренинг сочетает традиционные лекции и практические проекты. Финальный проект предполагает подготовку плана качества по проекту разработки ПО.

   

Управленческие кадры в сфере ИТ

Тренинг поможет выработать необходимые навыки для управления разработкой ПО и применения ИТ-решений. Тренинг основан на опыте Университета Иннополис и Университета Карнеги-Меллон — известного образовательного и исследовательского института, который специализируется на разработке ПО. Этот курс предназначен для различных организаций: банков, страховых компаний, государственных учреждений, производственных компаний, медицинских организаций и других учреждений, деятельность которых напрямую зависит от разработки и использования ИТ решений. Формат и содержание тренинга определяются на основе потребностей и задач компании.

   

Управление инженерными данными на промышленных предприятиях

Курс предназначен для формирования представления об эффективных способах и инструментах достижения стратегических целей предприятия за счет построения систем управления инженерными данными и разработкой продукции. Тренинг рекомендован руководителям и ведущим специалистам промышленных предприятий, которые получат возможность спроецировать приведенные методики и инструменты на свою повседневную деятельность для повышения ее эффективности.

   

Разработка надёжного ПО

Основы современной программной инженерии

Курс охватывает результаты и принципы программной инженерии: процессы моделирования, принципы программной архитектуры, объектно-ориентированные принципы, показатели, тесты, модель развития функциональных возможностей, гибкие методы, требования к программной инженерии, проектную модель.

 

Основы программной верификации

Курс рассказывает обо всех основных техниках современной программной верификации: аксиоматическая семантика, проверка моделей, абстрактная интерпретация, тестирование символического выполнения программы.

 

Программы верификации AutoProof

AutoProof — продвинутое средство, которое позволяет создать ПО, подтвержденное математически. Этот практический курс представляет программу AutoProof и побуждает участников к изучению всех технических деталей, включая продвинутые методы рамочного анализа и владение объектом.

 

Параллельное программирование и средство SCOOP

Тренинг помогает изучить основы техник и средств параллельного программирования. В этом курсе делается акцент на создание верного параллельного программного обеспечения. Участникам дается введение в использование SCOOP, в котором применяется простое расширение объектно ориентированных концепций для создания простого и безопасного ПО.

 

 

Дополнительная информация и запись на курсы: 

yu.astafeva@innopolis.ru
8 (843) 203-92-53 (доб. 257)
+7 937 578-49-54
Юлия Астафьева

Сайт находится в технической разработке