Login / Signup

Consistency Verification of UML Diagrams Based on Process Bisimulation.

Tomoyuki YokogawaSousuke AmasakiKeisuke OkazakiYoichiro SatoKazutami ArimotoHisashi Miyazaki
Published in: PRDC (2013)
Keyphrases
  • uml diagrams
  • web services
  • design process
  • software design
  • data sources
  • knowledge management
  • software architecture