Results 1 to 10 of about 1,595 (177)
Моделирование адаптивного теста по результатам классического тестирования
Современные информационные технологии и IT-образование, 2023 Тестирование широко используется учителями и преподавателями вузов, как для текущего, так и для аттестационного контроля знаний. По сравнению с традиционными методами оценки, тестирование – более быстрый, менее трудоемкий и более объективный метод ...
Безруков, А.И. +1 more
doaj +1 more source
Вестник Университета гражданской защиты МЧС Беларуси, 2019 Проанализированы существующие тестирующие системы обучения и контроля знаний. Рассмотрены функциональные особенности разработанного в Университете гражданской защиты МЧС Беларуси программного обеспечения тестирующего контроля «Тактическая подготовка ...
Иван Полевода +6 more
doaj +1 more source
FORMAL METHODS OF SUPPORT OF REORGANIZATION OF BUSINESS PROJECTS
Статистика и экономика, 2016 The article describes a set of methods that allow keeping a formal investigation of business processes of enterprises and carrying out their functional-structural design, testing and verification.
Georgy N. Kalyanov
doaj +1 more source
Using fault injection for testing Linux kernel components
Труды Института системного программирования РАН, 2018 The paper presents methods aimed to extend coverage of existing tests by systematic and targeted fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal situations. As long as such situations happen seldom
A. . Tsyvarev, A. . Khoroshilov
doaj +1 more source
Graph Learning by a Set of Automata. The Nondeterministic Case
Труды Института системного программирования РАН, 2018 Graph learning with automata is a basic task in many applications. Among such applications is formal model-based verification and testing of software and hardware systems, as well as network exploration including Internet and GRID.
Igor Burdonov, Alexander Kosachev
doaj +1 more source
Survey of streaming processing field
Труды Института системного программирования РАН, 2018 This article is devoted to review of current state of streaming processing field including. This includes some historical aspects and mentioning of leaps of technologies development.
R. S. Samarev
doaj +1 more source
Научно-педагогическое обозрение, 2019 Динамизм и многозадачность образовательного процесса в вузе предполагают развитие и совершенствование системы оценки качества знаний, осуществляемой главным образом через выпускной, вступительный или текущий экзамен, а также через иные аттестационные ...
Иванова Римма Анваровна +2 more
doaj +1 more source
Слобожанський науково-спортивний вісник, 2016 Цель: построение системы оздоровительной физической культуры на основе учета индивидуальных особенностей физического развития и физического состояния обследуемого контингента населения.
Александр Юрьевич Ажиппо +8 more
doaj +1 more source
Automata system: determinism conditions and testing
Труды Института системного программирования РАН, 2018 The problem of testing of aggregate systems is considered. The system components are described with finite automata with multiple entries and exits. The communication between automata is described with message passing over simplex communication channels.
Igor Burdonov, Alexander Kossatchev
doaj +1 more source
Information and communication technologies (ict) in teaching the course of analytical chemistry
Высшее образование в России, 2022 New theoretical and practical information concerning applying of ICT and multimedia technologies while teaching the course of analytical chemistry, is given in this article.
G. G. Melchenko +2 more
doaj