@inproceedings{paperid:1036115, author = {Rasoolzadegan, Abbas and Ahmad Abdollahzadeh Barforoush}, title = {A New Approach to Software Development Process with Formal Modeling of Behavior based on Visualization}, booktitle = {the Sixth International Conference on Software Engineering Advances}, year = {2011}, location = {بارسلونا}, keywords = {visualization; design patterns; formal modeling methods; semi-formal modeling methods.}, }