Статья Разделение системных и прикладных задач при разработке информационно-управляющих систем Окулевич В. В.
Статья Использование стандартных библиотек во встроенных системах (на примере стандартной библиотеки языка C++) Окулевич В. В., Самохвалова О. Г.
Статья ПОИСК ПРОГРАММНЫХ КОМПОНЕНТ ДЛЯ ПОВТОРНОГО ИСПОЛЬЗОВАНИЯ С ПОМОЩЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ Шедько О. Г., Окулевич В. В.