Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422534 | Electronic Notes in Theoretical Computer Science | 2008 | 16 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics