Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования протокола LSP. Обсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. Рассматривались способы выделения состояний системы и определения переходов между ними.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы прототипирования системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации программ для автоматизированного сбора информации для моделирующих систем.

Новинка: монография профессора И.И.Кучерова «Драгоценные металлы и камни:правовое регулирование и контроль».

Вышла новая версия компьютерной контрольно-обучающей программы Уголовное право (Версия 2.0)"

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