کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422534 685102 2008 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modifying Contracts with Larissa Aspects
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Modifying Contracts with Larissa Aspects
چکیده انگلیسی

This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. For the aspect language Larissa and contracts expressed with synchronous observers, we show how to apply an aspect asp to a contract C and derive a new contract C′, such that for any program P which fulfills C, P with asp fulfills C′. We validate the approach on a medium-sized example.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 4, 5 June 2008, Pages 125-140