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