Проектирование, разработка и анализ программного обеспечения (+CD)

Проектирование, разработка и анализ программного обеспечения (+CD)
:
:
:
ISBN: 978-5-9775-0559-8
:
Рассмотрены фундаментальные теоретические концепции систем реального времени, функциональная и информационная безопасность, разработка с использованием языка UML, а также верификация программного обеспечения. Описаны популярные программные платформы систем реального времени. Показаны возможности и особенности применения типовых инструментальных средств на примере конкретных прикладных задач. Компакт-диск содержит trial-версии программ, которые используются для части рассматриваемых практических упражнений (QNX SDP, aicas JamaicaVM, а также MinGW). Для инженеров, технических руководителей, студентов и преподавателей вузов