Онтологии и знания
radar.title
Кураторская лента внешних источников: онтологии, формальные методы, ИИ в разработке, инженерия качества. Каждый материал ведёт на первоисточник — мы не публикуем вымышленных событий.
Онтологии и знания
RDF 1.1 Concepts — модель данных графа знаний
Онтологии и знания
Protégé — открытый редактор онтологий
Онтологии и знания
SKOS — представление тезаурусов и таксономий
Онтологии и знания
SHACL — язык описания ограничений графа
Онтологии и знания
SPARQL 1.1 — язык запросов к графу знаний
Онтологии и знания
Domain-Driven Design — первоисточник понятия
Онтологии и знания
Schema.org — словарь для разметки данных
Формальные методы
TLA+ — спецификация и верификация систем
Формальные методы
Alloy — лёгкий формальный метод моделирования
Формальные методы
Dafny — верифицируемое программирование
Формальные методы
SPIN — модельная проверка (model checking)
Формальные методы
Coq — интерактивный помощник доказательств
Формальные методы
Isabelle — универсальный доказатель теорем
Формальные методы
Frama-C — статический анализ и доказательство C-кода
Формальные методы
Event-B — пошаговое уточнение моделей
ИИ в разработке
ONNX — открытый стандарт обмена моделями
ИИ в разработке
MLIR — многоуровневое представление компиляторов
ИИ в разработке
Model Cards — карты моделей и их ограничений
ИИ в разработке
Datasheets for Datasets — документация данных
ИИ в разработке
AI Risk Management Framework — управление рисками ИИ
ИИ в разработке
Papers with Code — код к научным публикациям
ИИ в разработке
Hugging Face — открытые модели и датасеты
ИИ в разработке
«Attention Is All You Need» — архитектура трансформера
Инженерия качества
Hypothesis — property-based тестирование
Инженерия качества
PIT — мутационное тестирование для JVM
Инженерия качества
Stryker — мутационное тестирование для JS/.NET
Инженерия качества
fast-check — property-based тесты для JS/TS
Инженерия качества
Pact — контрактное тестирование сервисов
Инженерия качества
ISO/IEC 25010 — модель качества ПО
Инженерия качества
QuickCheck — первоисточник property-based тестов
Инженерия качества
Google Testing Blog — практики тестирования
Надёжность и эксплуатация
Google SRE Book — инженерные практики надёжности
Надёжность и эксплуатация
Google SRE Workbook — рабочие практики SRE
Надёжность и эксплуатация
CNCF — экосистема облачных технологий
Надёжность и эксплуатация
OpenTelemetry — стандарт телеметрии
Надёжность и эксплуатация
Prometheus — мониторинг и алертинг
Надёжность и эксплуатация
Kubernetes — оркестрация контейнеров
Надёжность и эксплуатация
Principles of Chaos — инженерия хаоса
Надёжность и эксплуатация
DORA — метрики скорости и надёжности доставки
Безопасность и цепочка поставок
OWASP — практики безопасной разработки
Безопасность и цепочка поставок
OWASP Top 10 — главные риски веб-приложений
Безопасность и цепочка поставок
SLSA — уровни защищённости цепочки поставок
Безопасность и цепочка поставок
NIST SSDF — безопасная разработка ПО
Безопасность и цепочка поставок
Sigstore — подпись артефактов и происхождение
Безопасность и цепочка поставок
CWE — перечень слабостей ПО
Безопасность и цепочка поставок
MITRE ATT&CK — матрица тактик атакующих
Безопасность и цепочка поставок
CycloneDX — спецификация SBOM
Публикации корпорации
Раздел наполняется по мере выхода реальных материалов. Мы не публикуем вымышленные события и «пресс-релизы» — только проверяемые факты и ссылки на первоисточники.
Готовы обсудить ваш проект?
Опишите задачу — мы предложим онтологический подход, честную оценку риска и прозрачную цену.
Панель приборов · потяните за край, чтобы изменить высоту