2 search results - page 1 / 1 » Aspects and Superimpositions |
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
COOPIS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...