Majidi, F. and Harounabadi, A. 2015. Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models. Journal of Advanced Computer Science & Technology. 4, 1 (Jan. 2015), 23–31. DOI:https://doi.org/10.14419/jacst.v4i1.3982.