Моделями оценки надежности программного обеспечения (англ. Software reliability growth models) называются специальные математические модели, позволяющие по статистике тестирования...
В статье представлена оригинальная концепция архитектуры и внутренней структуры информационной системы (ИС), позволяющей в цифровом виде интегрировать данные историко-культурных, а...
Декомпиляция – средство, используемое в обратной инженерии для повышения уровня представления анализируемой программной системы. При этом одной из целей является получение понятной...
В работе представлен подход к решению задачи поиска чертежей (эскизов) на основе многоуровневого распознавания и логического анализа, использующий построение и сопоставление нечетк...
В статье описаны формы и методы обучения программированию студентов вуза в рамках курса «Информатика» на основе использования современных информационных технологий. По мнению автор...
Описываются проектные решения, принятые при разработке программной реализации декодера одного класса алгебро-геометрических кодов. Данные решения развивают методологию обобщенного...
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие ци...
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния...
В статье предложен метод полиморфного выполнения алгоритмов на множественном контексте данных, что характерно для современных систем управления. Метод позволяет строить эффективные...
Решение бортовых геоинформационных задач построено на обработке пространственных данных. Ресурсы бортовых вычислительных комплексов довольно ограничены. Для обеспечения решения рес...