Safetys

Формальные методы в agile-разработке

Сочетание формальных и скорых методов при разработке программного обеспечения позволяет свести к минимуму сложности, связанные с внесением изменений в код.

Аналитика по запросу: как российские пользователи выбирают BI-системы

Одна из актуальных тем прошедшего ИТМ-2022 — работа с большими данными в цифровой медицине. Какой функционал необходим для решения задач здравоохранения.