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