2558 search results - page 469 / 512 » Model Composition Contracts |
153
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
130
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
116
Voted
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
136
Voted
VVS
1996
IEEE
15 years 7 months ago
1996
IEEE
A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described. The implementation,...
122
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...