Login / Signup
David Stauch
Publication Activity (10 Years)
Years Active: 2006-2008
Publications (10 Years): 0
</>
Publications
</>
David Stauch
Modifying Contracts with Larissa Aspects.
Electron. Notes Theor. Comput. Sci.
203 (4) (2008)
David Stauch
Formal Analysis Tools for the Synchronous Aspect Language Larissa.
EURASIP J. Embed. Syst.
2008 (2008)
Karine Altisen
,
Florence Maraninchi
,
David Stauch
Modular Design of Man-Machine Interfaces with Larissa.
SC@ETAPS
(2006)
Karine Altisen
,
Florence Maraninchi
,
David Stauch
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.
Sci. Comput. Program.
63 (3) (2006)