Specifying software architectural connectors in SAM Article

He, XD, Deng, Y. (2000). Specifying software architectural connectors in SAM . INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 10(4), 411-431. 10.1142/S0218194000000201

cited authors

  • He, XD; Deng, Y

authors

publication date

  • August 1, 2000

published in

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • DIRECTIONS
  • Engineering
  • Engineering, Electrical & Electronic
  • Petri nets
  • SPECIFICATION
  • Science & Technology
  • Technology
  • formal methods
  • software architecture
  • temporal logic

Location

  • GERMANY, KAISERSLAUTERN

Digital Object Identifier (DOI)

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 411

end page

  • 431

volume

  • 10

issue

  • 4