کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9657422 1441792 2005 35 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Towards lightweight checks for mass maintenance transformations
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Towards lightweight checks for mass maintenance transformations
چکیده انگلیسی
We propose a lightweight, practical approach to check mass maintenance transformations. We present checks for both transformation tools and transformed source code, and illustrate them using examples of real-world transformations. Our approach is not a fully fledged, formal one but provides circumstantial evidence for transformation correctness, and has been applied to the mass maintenance of industrial Cobol systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 57, Issue 2, August 2005, Pages 129-163
نویسندگان
,