Introducing software architecture specification and analysis in SAM through an example Article

Wang, J, He, X, Deng, Y. (1999). Introducing software architecture specification and analysis in SAM through an example . INFORMATION AND SOFTWARE TECHNOLOGY, 41(7), 451-467. 10.1016/S0950-5849(99)00009-9

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • SYSTEMS
  • Science & Technology
  • TIME PETRI NETS
  • Technology
  • VERIFICATION
  • command and control systems
  • formal methods
  • real-time computational tree logic
  • real-time concurrent systems
  • software architecture
  • time Petri nets

Digital Object Identifier (DOI)

publisher

  • ELSEVIER SCIENCE BV

start page

  • 451

end page

  • 467

volume

  • 41

issue

  • 7