Методология функционального моделирования SADT
Автор: Григорьев А.В.
Описание: Краткий обзор методологии функционального моделирования SADT
Генерация кода
Описание: Статья, посвещенная генерации кода. Основные понятия. Основные этапы.
Про компиляторы
Описание: Обзор существующих компиляторов.
Класическая теория компиляторов
Описание: Классическая теория компиляторов. Теория формальных языков. Грамматики. Конечные автоматы.
Пример простого компилятора
Описание: Пример простого компилятора, написанный на языке Си.
Исследование структур управляющих автоматов с элементаризацией линейных последовательностей состояний
Описание: Пример генерации кода из графической спецификации
Построение онтологии предметной области
Описание: Общее рассмотрение понятия онтологии и средства семантического описания данных
Компилятор
Описание: Поверхностное описание и рассмотрение компиляторов.
Структурно-параметрический синтез
Описание: Рассмотрение принципов Структурно-параметрического синтеза.
Генерация кода
Описание: Рассмотрены общие параметры генератора кода.
Автоматическая генерация кода программ с явным выделением состояний
Описание: Описан метод генерации кода с выделением состояний
Порождающее программирование (generative programming) и язык XSLT
Описание: Рассмотрены способы генерации кода и использование языка XSLT
Инварианты в задачах по математике и программированию
Описание: Выделение инвариантов и методы их применения
Инварианты и симметрии в генетических алгоритмах
Описание: Выделение инвариантов алгоритмов, и применение в генерации алгоритма
Generative Programming
Описание: Рассматриваются принципы порождающего программирования
Jenerator – Generative Programming for Java
Описание: Описание генератора под java
Structured Analysis and Design Technique
Описание: Поверхностное описание и рассмотрение методологии структурного анализа и проектирования SADT.
Интегративная модель
Описание: Поверхностное рассмотрение применения интегративной модели в спецификации.
Понятие "формальная спецификация программ"
Описание: Описание математического аппарата спецификации программ.
Спецификация программы и преобразователь предикатов
Описание: Описание спецификации программ с использованием предикатов.
Метод структурного анализа и проектирования
Описание: Описание свойств и методологии построения диограмм SADT.
An Examination of Requirements Specification Languages
Описание: Сравнение различных языков спецификации
Язык спецификаций
Описание: Обзор понятия "Язык спецификаций"
Общие характеристики основных языков программирования
Описание: Выделение и рассматрение различных характеристик основных языков программирования
Распознавание и спецификация структур данных
Описание: Методы работы со структурами данных.
Технология построения языков спецификаций
Описание: Методики построения спецификаций.
Основы визуального моделирования
Описание: Основы построения визуальных спецификаций