Results 1 to 10 of about 43 (40)

ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ

Informatika, 2019
Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных представлений о проблемах проектирования вычислительных устройств.

doaj   +1 more source

Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения.

Труды Института системного программирования РАН, 2000
Данная статья обобщает наш опыт разработки инструментальных средств нового поколения, основанных на формальных методах. Целью наших исследований является практическое улучшение процесса разработки программного обеспечения в телекоммуникационном секторе ...
Н.Н. Мансуров
doaj   +1 more source

Общий взгляд на развитие языка права и законодательных текстов

Юрислингвистика, 2021
Целью статью является исследование вопроса о становлении языка права, развитии понятия "закон" и формировании моделей законодательных текстов. В диахроническом аспекте рассматривается дифференциация видов законов, ее основания и тенденции.
Марина Батюшкина
doaj   +1 more source

ОСОБЕННОСТИ СОДЕРЖАНИЯ ПРОФЕССИОНАЛЬНОЙ СУБЪЕКТНОСТИ БУДУЩЕГО ОФИЦЕРА ВОЙСК НАЦИОНАЛЬНОЙ ГВАРДИИ РОССИИ

Russian Journal of Education and Psychology, 2022
Цель исследования – определение фактора развития профессиональной субъектности посредством корреляции данных волевой составляющей (самоотношение и отношение к жизненным целям) и коммуникативной компетентности (формальные и неформальные позиции) курсанта,
Aleksey A. Dyachkov, Lev V. Shabanov
doaj   +1 more source

Applying High-Level Function Loop Invariants for Machine Code Deductive Verification

Труды Института системного программирования РАН, 2019
The existing tools of deductive verification allow us to successfully prove the correctness of functions written in high-level languages such as C or Java.
Pavel Andreevitch Putro
doaj   +1 more source

Combining ACSL Specifications and Machine Code

Труды Института системного программирования РАН, 2018
When developing programs in high-level languages, developers have to make assumptions about the correctness of the compiler. However, this may be unacceptable for critical systems.
P. A. Putro
doaj   +1 more source

Conformance testing of Extensible Authentication Protocol implementations

Труды Института системного программирования РАН, 2019
The paper presents a model-based approach to conformance testing of Extensible Authentication Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between implementations of a protocol. Using UniTESK technology
A. V. Nikeshin, V. Z. Shnitman
doaj   +1 more source

Высшее образование на перепутье: куда ведут реформы (заметки скептика)

Мониторинг общественного мнения: экономические и социальные перемены, 2018
В статье анализируются состояние и методы реформирования высшего образования в России. Обращается внимание на то, что нет четкой и ясно сформулированной цели развития высшего образования — она замещается предложением и внедрением средств реализации этой ...
Жан Терентьевич Тощенко
doaj   +1 more source

TLS clients testing

Труды Института системного программирования РАН, 2018
The paper presents a model-based approach to conformance testing of TLS implementations. It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK technology, was used to develop the test suite. A set
A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman   +2 more
doaj   +1 more source

Test Suite development for verification of TLS security protocol

Труды Института системного программирования РАН, 2018
Despite the fact that TLS and its predecessor SSL are in use for more than 15 years, there are no accepted public conformance test suite for those protocols.
A. V. Nikeshin, N. V. Pakulin,, V. Z. Shnitman.   +2 more
doaj   +1 more source