A CHANGE PROPAGATION PROCESS FOR DISTRIBUTED SOFTWARE ARCHITECTURE Topics: Formal Methods; Knowledge Management and Engineering; Software Change and Configuration Management In Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 78-85, 2010 , University of Piraeus, Greece