@INPROCEEDINGS{iwpse05,
author = {Riadh Ben Halima and Mohamed Jmaiel and Khalil Drira},
title = {Graphical simulation of the dynamic evolution of the
software architectures specified in \mbox{Z}},
booktitle = {Proceedings of the 8th International Workshop on
Principles of Software Evolution (IWPSE)},
year = {2005},
address = {Lisbon, Portugal},
month = {September},
keywords  = {Formal},
days = {5-6},
doi = {10.1109/IWPSE.2005.20}
}