A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440. Conference

Yu, Huiqun, He, Xudong, Deng, Yi et al. (2002). A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440. . 645-652. 10.1109/cmpsac.2002.1045076

cited authors

  • Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian

authors

publication date

  • January 1, 2002

keywords

  • 46 Information and Computing Sciences
  • 4612 Software Engineering
  • 4613 Theory Of Computation
  • Bioengineering

Digital Object Identifier (DOI)

Conference

  • Proceedings 26th Annual International Computer Software and Applications

publisher

  • Institute of Electrical and Electronics Engineers (IEEE)

start page

  • 645

end page

  • 652