SoftCraft
разноликое программирование

Отправная точка
Программирование
Windows API
Автоматы
Нейроинформатика
Парадигмы
Параллелизм
Проектирование
Теория
Техника кодирования
Трансляторы
Учебный процесс
Прочие вопросы

Разное

Беллетристика
Брюзжалки
Цели и задачи
Об авторе


The RAISE Method Group: АЛГЕБРАИЧЕСКОЕ ПРОЕКТИРОВАНИЕ КЛАССА


Джордж К. (перевод Пискунова А.Г.)

Документ в формате pdf (~350 кб)

Аннотация

В документе рассматривается техника алгебраического проектирования абстрактного типа данных, широко используемая в методе формальных спецификацей RAISE. Значительная часть документа представляет собой перевод разделов 2.2, 2.3, 2.5, 2.6 из монографии К.Джоржа (Chris George) и др. The RAISE Development Method, 1999.

Документ выложен 21.10.2007