MSc and PhD studies in Aerospace Critical Computing

Manual

Учебно-информационный центр критического компьютинга. Руководство пользователя

Posted Sat, 08/01/2009 - 19:39 by k0t
Book covers
4
Average: 4 (1 vote)
Бохан К., Боярчук А., Харченко В.

В руководстве пользователя учебно-информационного центра критического компьютинга приведено описание Web-системы, разработанной в рамках проекта TEMPUS-MASTAC для поддержки подготовки специалистов в области критического компьютинга, с использованием технологий Web-образование 2.0. Описаны состав сервисов учебно-информационного центра, порядок работы с ними, технические характеристики разработанной системы, а так же вопросы администрирования Web-системы.

Моделирование гарантоспособных систем и сетей. Практикум

Posted Sat, 08/01/2009 - 19:05 by k0t
Book covers
0
Куланов CA., Локазюк В.Н., Одарущенко О.Н., Поморова О. В., Сиротюк А.И., Фурманов A.A., Харченко B.C.

Изложены материалы практической части учебного курса «Моделирование гарантоспособных систем и сетей» (Modeling of Dependable Systems and Networks), подготовленного для магистров и докторов философии (кандидатов наук) по направлению аэрокосмического критического компьютинга в рамках проекта TEMPUS-MAST АС «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс посвящен изучению методов и средств моделирования гарантоспособных компьютерных систем, сетей и сервисов.

Многоверсионные системы и технологии для критических приложений. Практикум

Posted Sat, 08/01/2009 - 18:56 by k0t
Book covers
0
Волковой А.В., Дужий В.И., Шпак А.С., Яновский М.Э.

Изложены  материалы  практической  части  учебного  курса «Многоверсионные системы и технологии для критических приложений» (Multi-version systems and technologies for critical applications), подготовленного  для  магистров  в  рамках  проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс  посвящен  изучению  методов  и  средств  разработки  и  оценки многоверсионных  систем.

Гарантоспособные системы, сети и сервисы. Практикум

Posted Sat, 08/01/2009 - 18:34 by k0t
Book covers
0
A.B. Горбенко, О.M. Тарасюк

Изложены материалы практической части учебного курса «Гарантоспособные системы, сети и сервисы» (Dependable Systems, Networks and Services), подготовленного для аспирантов в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Посвящена методологии и практике анализа, оценивания, архитектурирования и экспериментальных исследований гарантоспособных сервис-ориентированных систем и компьютерных сетей.

Оценка качества и экспертиза программного обеспечения. Практикум

Posted Sat, 08/01/2009 - 17:58 by k0t
Book covers
0
Андрашов А.А., Гордеев А.А., Лобачева Е.И., Харченко В.С.

Изложены материалы практической части учебного курса «Оценка качества и экспертиза программного обеспечения» (Software Quality Assessment and Expertise), подготовленного для магистров в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005, посвященного методам и средствам оценки качества программного обеспечения (ПО).
Приведена учебная программа курса, дастся описание лабораторных работ и семинарских занятий, методические рекомендации по самостоятельному изучению материала курса.

Отказоустойчивые встроенные системы на программируемой логике. Практикум

Posted Sun, 04/19/2009 - 11:36 by k0t
Book covers
0
Бабешко Е.В., Куланов В.А., Локазюк В.Н., Остроумов С.Б., Поморова О.В., Прохорова Ю.Н., Харченко В.С.

В пособии изложены материалы практической части учебного курса «Отказоустойчивые встроенные системы на программируемой логике» (Fault-Tolerant Embedded PLD-systems), подготовленного для магистров в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005).