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

Location

  • Beijing, PEOPLES R CHINA

Digital Object Identifier (DOI)

Conference

  • 6th International Conference on Quality Software

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 709

end page

  • 755

volume

  • 17

issue

  • 6