@article{paperid:1036110, author = {Rasoolzadegan, Abbas and Ahmad Abdollahzadeh Barforoush}, title = {Developing Reliable yet Flexible Software through If-Then Model Transformation Rules}, journal = {Amirkabir International Journal of Electrical and Electronic Engineering}, year = {2012}, volume = {44}, number = {1}, month = {March}, issn = {2008-6075}, pages = {1--24}, numpages = {23}, keywords = {Model transformation; flexibility; design patterns; UML; reliability; Object-Z}, }