d0sl semantic platform
  • Главная
  • Github
Контакты
Контакты
  • Начало работы
    • Требования
    • Установка
    • Задача о 8 ферзях
      • Подробности проекта
  • Видение
    • Проблемы алгоритмического подхода
    • Семантические технологии
    • Применение
    • Пример цифрового контракта
  • Язык спецификаций d0sl
    • Семантическая и доменная модели
    • Предикаты
    • Логические операции
    • If (импликация)
    • For all (Для каждого)
    • Переменные
    • Модель предметной области
    • Use
    • Подсказки по редактору
    • Как запустить модель из MPS
  • Математика

Документация

Описание функциональных характеристик

Функциональность

Установка и эксплуатация

Установка и запуск примеров

Описание процессов, обеспечивающих поддержание жизненного цикла

Процессы ЖЦ

Подробности проекта Стоимость и лицензия
  • История
  • Контакты
d0sl semantic platform