|
№
|
Description
|
Arrival Date
|
|
53471
|
Черкасов, Д.А. Интеграция описаний на языках MSC и SDL для автоматизации тестирования приложений [Электронный ресурс] / Д.А. Черкасов, В.А. Сухомлинов, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 68,1Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003430.pdf>.
|
2/19/2004
|
|
53472
|
Дворянский, Л.В. Эффективный подход к разработке OMI-совместимых поведенческих моделей [Электронный ресурс] / Л.В. Дворянский, К.В. Орлов, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 75,7Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003429.pdf>.
|
2/19/2004
|
|
53473
|
Автоматизация тестирования GUI многоплатформенных приложений [Электронный ресурс] / А.О. Некрасов, Е.А. Савельева, А.В. Гаригин, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 143Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003428.pdf>.
|
2/19/2004
|
|
53474
|
Ильин, В.В. Формальные и полуформальные подходы к верификации моделей полупроводниковых устройств [Электронный ресурс] / В.В. Ильин, А.Н. Волков, М.А. Никитин. — Электрон. текстовые дан. (1 файл : 86,8Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003427.pdf>.
|
2/19/2004
|
|
53475
|
Ильин, В.В. Динамические подходы к верификации моделей полупроводниковых устройств [Электронный ресурс] / В.В. Ильин, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 72,6Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003426.pdf>.
|
2/19/2004
|
|
53476
|
Епифанов, Н.А. Технологии поддержки регрессионного тестирования в промышленных и исследовательских системах [Электронный ресурс] / Н.А. Епифанов, В.В. Швецов, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 66Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003425.pdf>.
|
2/19/2004
|
|
53477
|
Анализатор дифракционных спектрограмм (автоматизированный программный комплекс) [Электронный ресурс] / П.С. Калайдин, В.Е, Поддубный, К.В. Сахин, С.К. Круглов. — Электрон. текстовые дан. (1 файл : 54,2Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003424.pdf>.
|
2/19/2004
|
|
53478
|
Доценко, К.А. Проектирование автоматизированной системы управления учебным процессом на кафедре [Электронный ресурс] / К.А. Доценко, Т.А. Вишневская. — Электрон. текстовые дан. (1 файл : 71,5Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003423.pdf>.
|
2/19/2004
|
|
53479
|
Богданов, С.В. Устройство контроля расхода топлива отечественного автомобиля на базе плис фирмы "Алтера" [Электронный ресурс] / С.В. Богданов, В.В. Шаляпин. — Электрон. текстовые дан. (1 файл : 78,9Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003422.pdf>.
|
2/19/2004
|
|
53480
|
Гриппа, Г.Л. Современные методики тестирования компьютерного программного обеспечения. Автоматизация тестирования [Электронный ресурс] / Г.Л. Гриппа, И.Г. Черноруцкий. — Электрон. текстовые дан. (1 файл : 72,1Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб., 2003. – Факультет технической кибернетики [Электронный ресурс]. — (Секция "Информационные и управляющие системы"). — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003421.pdf>.
|
2/19/2004
|
