Верификация и аттестация программного обеспечения - реферат по программному обеспечению, программированию

 

Тезисы:

  • По теме "Верификация и аттестация программного обеспечения".
  • Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения: Курс лекций.
  • Методы Верификации Программного Обеспечения.
  • Соммервилл И. Инженерия программного обеспечения, 6-е издание.
  • Общие сведения о верификации и аттестации.
  • Планирование верификации и аттестации.
  • Верификация и аттестация критических систем.
  • Разработка программного обеспечения основывается на формальных методах.
  • По дисциплине "Технологии разработки программного обеспечения".
  • Анализ согласованности программного кода, алгоритмов и структур данных.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные рефераты по программному обеспечению, программированию