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), 11-29. 10.1016/S0164-1212(02)00087-0

cited authors

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

authors

publication date

  • April 1, 2004

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • FRAMEWORK
  • MODEL CHECKING
  • Petri nets
  • Science & Technology
  • TEMPORAL LOGIC
  • Technology
  • VERIFICATION
  • formal specification and verification
  • model checking
  • software architecture
  • temporal logic
  • theorem proving

Digital Object Identifier (DOI)

publisher

  • ELSEVIER SCIENCE INC

start page

  • 11

end page

  • 29

volume

  • 71

issue

  • 1-2