نام و نام خانوادگی بهمن زمانی شغل عضو هیئت علمی سایر دانشگاههای داخل کشور / دانشکده مهندسی کامپیوتر دانشگاه اصفهان تحصیلات — مرتبه علمی — صفحه شخصی — پست الکترونیک — مقاله چاپشده مقاله ارائهشده طرح پژوهشی کتاب پایاننامه سخنرانی ابداع عنوانمجله 1 A model-based framework for automatic generation of a pattern language verifier SOFTWARE-PRACTICE & EXPERIENCE 47 (2017) 1945-1980 2 Towards a formal model of patterns and pattern languages INFORMATION AND SOFTWARE TECHNOLOGY 79 (2016) 1-16