Оглавление
Универсальный системный язык
-
Обзор Universal Systems Language (USL)
- USL – язык для системного моделирования и проектирования ПО.
- Разработан Маргарет Гамильтон, основан на опыте Apollo.
- Реализован через 001 Tool Suite от Hamilton Technologies.
- Развился из 001AXES, основанных на аксиомах управления Гамильтона.
-
Философия и применение USL
- Вдохновлен ошибками, выявленными при разработке Apollo.
- Включает гарантии корректности в грамматику.
- Удобен для пользователей и используется для онтологий.
- Применяется в теории управления и для создания новых универсальных структур.
-
Процесс разработки с USL
- Определение системы с помощью USL.
- Автоматический анализ определения с помощью 001.
- Автоматическая генерация большей части проекта и кода с 001.
- Поддержка других языков через USL.
-
Дополнительная информация
- Ссылки на другие работы Гамильтона и Хэклера.
- Внешние ссылки на технологии Гамильтона.
Полный текст статьи: