David Stauch

According to our database, David Stauch authored at least 4 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Formal Analysis Tools for the Synchronous Aspect Language Larissa.

David Stauch

EURASIP J. Embed. Syst., 2008

2007

Modifying Contracts with Larissa Aspects.

David Stauch

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2006

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.

Karine Altisen, Florence Maraninchi, David Stauch

Sci. Comput. Program., 2006

Modular Design of Man-Machine Interfaces with Larissa.

Karine Altisen, Florence Maraninchi, David Stauch

Proceedings of the Software Composition - 5th International Symposium, 2006