Results 11 to 20 of about 43 (40)
Intelligent Design of Class Structure Model based on Ontological Data Analysis
Труды Института системного программирования РАН, 2018 This paper investigates a formal approach which supports a critically significant step in object oriented analysis and software engineering. It is proposed to create an object class structure model based on an Ontological Data Analysis.
A. N. Kovartsev +2 more
doaj +1 more source
Computing Transition Priorities for Live Petri Nets
Труды Института системного программирования РАН, 2019 In this paper, we propose an approach to implementation of the algorithm for computing transition priorities for live Petri nets. Priorities are a form of constraints which can be imposed to ensure liveness and boundedness of a Petri net model.
Kirill Gennadievitch Serebrennikov
doaj +1 more source
Assessment the content of educational documents: statistical aspect
Статистика и экономика, 2016 В статье определяется проблема объективного и универсального подхода к оценке содержания образовательных нормативных документов, составленных в образовательных организациях.
M. S. Logachev
doaj +1 more source
Automation of conformance testing for communication protocols
Труды Института системного программирования РАН, 2018 This article summarizes the experience gained while developing test suites for conformance testing of implementations of Internet protocols. The projects described in this article used the UniTESK technology as a base for constructing tests.
Nikolay Pakulin +2 more
doaj +1 more source
Проблемы поиска работы и построения карьеры недавними выпускниками вузов
Хабаршы. Психология және социология сериясы, 2017 Актуальность исследования связано с обострением проблемы поиска и подбора первого рабочего места и трудоустройства для выпускников вузов в современной социально– экономической ситуации Казахстана, вызванным изменением структуры занятости и ...
Әсел Сарсенова
doaj +2 more sources
Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
Труды Института системного программирования РАН, 2018 The verification and analysis of distributed systems is a task of utmost importance, especially in today’s world where many critical services are completely supported by different computer systems.
J. C. Carrasquel +2 more
doaj +1 more source
Mechanically Proved Practical Local Null Safety
Труды Института системного программирования РАН, 2018 Null pointer dereferencing is a well-known bug in object-oriented programs. It can be avoided by adding special validity rules to a language in which programs are written. Are the rules sufficient to ensure absence of such exceptions?
A. V. Kogtenkov
doaj +1 more source
Статистика и экономика, 2016 The article considers the development of formal methods of assessing the rating criterion exponents. The article deals with the mathematical model, which allows to connect together quantitative rating criterion characteristics, measured in various scales,
Alexey E. Fedoseev
doaj +1 more source
Аналитический обзор методов распределения задач при совместной работе человека и модели ИИ
Информатика и автоматизацияВо многих практических сценариях принятие решений исключительно моделью ИИ оказывается нежелательным или даже невозможным, и использование модели ИИ является лишь частью сложного процесса принятия решений, включающего и эксперта-человека.
Andrew Ponomarev, Anton Agafonov
doaj +1 more source
Model-based testing of Internet Mail Protocols
Труды Института системного программирования РАН, 2018 The paper discusses model-based testing of the modern Internet e-mail protocols, including the method of protocol modeling by means of formal notations, peculiarities of e-mail protocols in the context of testing.
N. V. Pakulin, A. N. Tugaenko
doaj