Электронный архив НГУ

Просмотр Методические материалы по автору "A. P. Ershov Institute of Informatics Systems SB RAS"

Просмотр Методические материалы по автору "A. P. Ershov Institute of Informatics Systems SB RAS"

Отсортировать по:Порядку:Результатам:

  • Автоматизированная система тестирования nsuts: требования и разработка прототипа 
    Боженкова, Елена Николаевна; Иртегов, Дмитрий Валентинович; Киров, Александр Владимирович; Нестеренко, Татьяна Викторовна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    В статье рассматриваются требования к построению автоматизированной системы тестирования, описывается прототип такой системы, предназначенной для проведения олимпиад по программированию и обеспечению процесса подготовки ...
  • Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня 
    Непомнящий, Валерий Александрович; Попова, Наталья Сергеевна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    Рассматриваются спецификации распределенных систем на языке Dynamic-REAL (dREAL) с динамическим по-рождением и уничтожением экземпляров процессов. В качестве сетевой модели выбраны модифицированные рас-крашенные сети Петри ...