کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422480 685094 2008 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Alloy as a Refactoring Checker?
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Alloy as a Refactoring Checker?
چکیده انگلیسی

Refactorings are systematic changes made to programs, models or specifications in order to improve their structure without changing the externally observable behaviour. We will examine how a constraint solver (the Alloy Analyzer) can be used to automatically check if refactorings, applied to a formal specification (written in Z), meet this requirement. Furthermore, we identify a class of refactorings for which the use of this tool is reasonable in general.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 214, 28 June 2008, Pages 331-357