Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira. Graphical simulation of the dynamic evolution of the software architectures specified in Z. In 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal. pages 45-48, IEEE Computer Society, 2005. [doi]
Abstract is missing.