Последний выпуск

Сообщение об ошибке

  • Notice: Undefined index: und в функции __lambda_func() (строка 7 в файле /var/www/si/sites/all/modules/views_php/plugins/views/views_php_handler_field.inc(202) : runtime-created function).
  • Notice: Undefined index: und в функции __lambda_func() (строка 7 в файле /var/www/si/sites/all/modules/views_php/plugins/views/views_php_handler_field.inc(202) : runtime-created function).
  • Notice: Undefined index: und в функции include() (строка 6 в файле /var/www/si/sites/all/themes/si/templates/views-view-field--article--field-article-file.tpl.php).
  • Notice: Undefined index: und в функции include() (строка 6 в файле /var/www/si/sites/all/themes/si/templates/views-view-field--article--field-article-file.tpl.php).

Последний номер (№ 10, 2017)

Системная информатика, 2017, № 10

Целью этого исследования является демонстрация возможности автоматизированной миграции программного кода на новый набор библиотек. Задача миграции кода – не редкость в современных программных проектах. Например, такая задача может возникнуть, когда необходимо перенести проект на другую библиотеку...
Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно-ориентированных языках. Очевидное добавление ключевых слов, чтобы различать между всегда ненулевыми и возможно нулевыми ссылками, оказывается недостаточным во время инициализации объекта, когда некоторые поля...
Технология передачи пакетов с принудительной буферизацией традиционно используется в современных сетевых устройствах, таких как коммутаторы и маршрутизаторы. Но иногда она является существенным препятствием для улучшения качества обслуживания, поскольку минимальное время доставки пакета ограничено...
В статье представлены подходы к проектированию и реализации программного обеспечения для подготовки нормализованной воды, архитектура, полученные автоматные диаграммы данного процесса, основанные на спецификациях и требованиях. Обсуждаются компоненты системы, уровни абстракции, точки верификации,...
В статье рассказывается о недавних достижениях на пути к строгой верификации промышленных операционных систем (ОС). Под промышленной ОС имеется в виду система, активно используемая в некоторой области, развиваемая и сопровождаемая на протяжении значительного времени. Статья не касается...
В работе рассматриваются эксперименты с конечными полуавтоматами, направленные на идентификацию финального (текущего) состояния проверяемой системы после подачи соответствующей входной последовательности. В исследуемой модели действия разделены на входные и выходные, однако в модели отсутствуют...
Данная работа представляет дальнейшее развитие метода верификации финитной итерации. Она расширяет смешанную аксиоматическую семантику, предложенную для верификации C-light программ. Это расширение включает в себя метод верификации финитной итерации над неизменяемыми массивами с выходом из цикла в...
В статье представлен подход к реализации статической проверки типов для динамически-типизированного языка Jolie.

№ 1, 2013

№ 2, 2013

№ 3, 2014

№ 4, 2014

№ 5, 2015

№ 6, 2015

№ 7, 2016

№ 8, 2016

№ 9, 2017

№ 10, 2017