Russian | English
Логотип ЮрИнфоР ЮрИнфоР®  предлагает  ВамRambler's Top100
 

Подписка на новости     Все новости

23/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования протокола LSP. Обсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. Рассматривались способы выделения состояний системы и определения переходов между ними.
20/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы прототипирования системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).
16/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации программ для автоматизированного сбора информации для моделирующих систем.

Подписка на новости     Все новости

Подписка на новости     Все новости

05/06/2021
25/12/2020
Готовится к изданию новая версия обучающей компьютерной программы "Уголовное право России"

Подписка на новости     Все новости


Скидки, специальные акции
 

Сервис групповой разработки

Демонстрационные версии обучающих игр

Интерактивный информационный ресурс «Твой Основной Закон»
Поиск на сайте
Rambler's Top100 Телефоны: +7 (495) 778-87-26, 971-73-96
Электронная почта: jurinfor.2012@gmail.com или info@jurinfor.ru
Copyright (c) 1996-2021 'Институт актуального образования "ЮрИнфоР-МГУ"'