Sciweavers

8959 search results - page 39 / 1792
» Composing aspects with aspects
Sort
View
ECOOPW
1998
Springer
15 years 8 months ago
Aspect-Oriented Logic Meta Programming
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
Kris De Volder
FATES
2006
Springer
15 years 7 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
ECIS
2000
15 years 5 months ago
Modeling the Dialogue Aspects of an Information System
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...
Monique Snoeck, Guido Dedene
ENTCS
2008
98views more  ENTCS 2008»
15 years 3 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
ACS
2004
15 years 3 months ago
Categorical and Combinatorial Aspects of Descent Theory
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The descr...
Ross Street