Ссылки на дипломы и диссертации

Дробинцев П.Д. Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования. Канд. дис. СПГПУ. 2006. 238 с.

Замышляев А.Н. Визуализация недетерминированных сценариев ПО при возвратном проектировании. Дипломная работа. СПбГУ. 2005. 34 с.

Pauly M. Logic for Social Software. PhD Thesis. Amsterdam. 2001. 193 p.



Dmitri Boulytchev 2010-09-05