A translator of software architecture design from sam to Java Conference

Fu, Yujian, Dong, Zhijiang, He, Xudong. (2007). A translator of software architecture design from sam to Java . International Journal of Software Engineering and Knowledge Engineering, 17(6), 709-755. 10.1142/S0218194007003483

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • FRAMEWORK
  • Petri nets
  • SPECIFICATIONS
  • Science & Technology
  • Technology
  • correctness
  • formal methods
  • software architecture descriptions
  • temporal logic
  • translation

Digital Object Identifier (DOI)

start page

  • 709

end page

  • 755

volume

  • 17

issue

  • 6