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

Top.Mail.Ru

Яндекс.Метрика

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