The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Computer
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Logical-Time Contracts for Reactive Embedded Components
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Argos: an automaton-based synchronous language
Computer Languages
| Hi-index | 0.01 |
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.