МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Омарова М.О..pdf (245.26Кб)

1.     Котов В.Е. Сети Петри. М.: Наука. 1984. 160 с.

2.     Советов Б.Я.,  Яковлев С.А. Моделирование систем. М.: Высшая школа. 2005. 344 с.

3.     Документация по библиотеке Aspose. Режим доступа:  http://www.aspose.com/docs/dashboard.action (дата обращения 20.05.2014).

4.     Бьяфоре Б. Microsoft Visio 2007. Библия пользователя Visio 2007: учебное пособие. М.: Высшая школа, 2009. 259 c.

5.     Рудаков И. В., Ребриков А. В. Неполная верификация сложных дискретных систем // Информационные технологии. 2011. № 3. С. 31-34.

6.     Рудаков И. В., Ребриков А. В. Масштабирование алгоритмов для автоматической генерации модульных тестов // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. 2011. № 4. С. 119-124.

7.     Рудаков И. В., Ребриков А. В. Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2012. Спец. вып. 2 «Программная инженерия». С. 67-79.