ABCDEFGHIJKLMNOPQRST
1
Название статьиАвторГод изданияНазвание журнала, сборника и т.п.Основные результаты работы, которые могут быть использованы в собственном исследовании
2
АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ВЕРИФИКАЦИОННЫХ МОДЕЛЕЙ ДЛЯ ПРИЛОЖЕНИЙ НА ЯЗЫКЕ CКотляров Всеволод ПавловичНаписать письмо автору, Юсупов Юрий ВадимовичНаписать письмо автору2008Журнал Системное программированиеПроверка на моделях (model checking) - это обширный раздел теории верификации программных систем, имеющий множество практических приложений. Данная работа посвя- щена важной задаче в рамках этого раздела - автоматиче- скому построению моделей из текстов программ. В работе представлены принципы автоматического построения базо- вых протоколов Летичевского из программ на языке С, а так- же реализация, основанная на промышленном анализаторе кода KlocWork. Представлены результаты апробации подхо- да в рамках верификационной технологии VRS, рассмотрены перспективы и дальнейшие пути развития подхода.
3
ПРИМЕНЕНИЕ ИНФОРМАЦИОННЫХ РЕСУРСОВ ДЛЯ АВТОМАТИЗАЦИИ ОБУЧЕНИЯ И ПРОВЕРКИ ЗНАНИЙПРУЦКОВ Александр Викторович2005Информационные ресурсы РоссииУСПЕШНОЕ ПРИМЕНЕНИЕ ИНФОРМАЦИОННЫХ РЕСУРСОВ ДЛЯ АВТОМАТИЗАЦИИ ОБУЧЕНИЯ И ПРОВЕРКИ ЗНАНИЙ
4
АВТОМАТИЗАЦИЯ ПРОВЕРКИ РЕШЕНИЯ ЗАДАЧИ ПО ФОРМАЛЬНОМУ ОПИСАНИЮ ЕЕ УСЛОВИЯБогданов Михаил Сергеевич2006Компьютерные инструменты в образованииОписанная в статье система (Конструктор комбинаторных коллекций) представляет собой прототип нового программно-педагогического средства, позволяющего автору ставить новую математическую задачу перед членами некоторого общего информационного пространства. При этом автор может не знать решения поставленной задачи, а система позволяет проверить правильность найденного решения, как членами сообщества, так и самим автором. Таким образом, среда ККК даёт новые возможности для конструирования общих образовательных информационных пространств.
5
АВТОМАТИЗАЦИЯ КОНТРОЛЯ ЗНАНИЙПопова Елена Николаевна1, Трошина Екатерина Николаевна22010 Вестник Московского государственного открытого университета. Москва. Серия: Общественно-политические и гуманитарные наукиАвтоматизация все больше и плотнее внедряется во все сферы жизни современного человека. Автоматизация позволяет экономить время, заменяя рутинную ручную работу. Применение автоматизации для контроля знаний, с одной стороны, позволяет сократить время преподавателя на проверку работ, выполненных студентами, но, с другой стороны, ведет к необходимости составлять такие задания для контроля успеваемости студентов, чтобы они были пригодными для автоматической проверки
6
РАЗРАБОТКА СРЕДСТВ АВТОМАТИЧЕСКОГО КОНТРОЛЯ ВЫПОЛНЕНИЯ УЧЕБНЫХ ЗАДАНИЙ В ОФИСНЫХ ПРИЛОЖЕНИЯХНемировский Виктор БорисовичНаписать письмо автору, Стоянов Александр КирилловичНаписать письмо автору2009Известия Томского политехнического университетаОписывается реализация системы автоматического контроля практических знаний, приобретенных при изучении курса информатики. Система включает средства описания заданий, основанные на языке XML, и средства анализа созданных в процессе практической работы документов MS Office, использующие механизмы COM-технологий. Приводятся результаты использования контроллеров автоматизации для проверки заданий, выполненных в MS Word и MS Excel.
7
АВТОМАТИЗИРОВАННАЯ СИСТЕМА ПРОВЕРКИ ПРОФЕССИОНАЛЬНЫХ ЗНАНИЙ СПЕЦИАЛИСТОВ НА ПРЕДПРИЯТИИОбухов А.С., Кравец А.Г.2007Вестник компьютерных и информационных технологийРассмотрены проблемы автоматизации управления кадрами. Предложена автоматизированная система проверки профессиональных знаний специалистов на предприятии. Представлена структура системы, принципы ее работы, модели, применяемые в ней. Приводятся возможные области ее применения и дальнейшие перспективы развития.
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100