Например, Бобцов

Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ

Аннотация:

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

Ключевые слова:

Статьи в номере