Formally analyzing software architectural specifications using SAM

Journal of Systems and Software - Tập 71 - Trang 11-29 - 2004
Xudong He1, Huiqun Yu1, Tianjun Shi1, Junhua Ding1, Yi Deng1
1School of Computer Science, Florida International University, Miami, FL, 33199 USA

Tài liệu tham khảo