Sciweavers

ENTCS
2008
98views more  ENTCS 2008»
13 years 11 months ago
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. F...
David Stauch