Formally analyzing software architectural specifications using SAM Article

He, XD, Yu, HQ, Shi, TJ et al. (2004). Formally analyzing software architectural specifications using SAM . JOURNAL OF SYSTEMS AND SOFTWARE, 71(1-2), 10.1016/S0164-1212(02)00087-0



cited authors

  • He, XD; Yu, HQ; Shi, TJ; Ding, JH; Deng, Y

publication date

  • April 2004

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 71

issue

  • 1-2

research area