2 search results - page 1 / 1 » Aspects and Superimpositions |
ECOOPW
1999
Springer
13 years 11 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
14 years 25 days 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...