A Formal Semantics of UML: The ASM Approach

Benzer Materyaller

• An ASM Semantics for UML Activity Diagrams
  Yazar:: Börger, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2000)
• On Formalizing UML State Machines using ASM
  Yazar:: Börger, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2004)
• An ASM Semantics for UML Activity Diagrams and UML State Machines
  Yazar:: Boerger, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2000)
• Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
  Yazar:: Cavarra, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2004)
• Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
  Yazar:: Cavarra, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2003)