Formal Analysis in Model Management: Exploiting the Power of CZT

  • James R. Williams
  • Fiona A. C. Polack
  • Richard F. Paige
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5977)

Abstract

Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • James R. Williams
    • 1
  • Fiona A. C. Polack
    • 1
  • Richard F. Paige
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkUK

Personalised recommendations