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

Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.

Рубрика Программирование, компьютеры и кибернетика
Предмет Программное обеспечение
Вид статья
Язык русский
Прислал(а) Н.А. Бурякова, А.В. Чернов
Дата добавления 28.05.2017
Размер файла 125,2 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.