312 search results - page 3 / 63 » Model Compiler Construction Based on Aspect-Oriented Mechani... |
ICECCS
2005
IEEE
13 years 11 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
AOSD
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
FMOODS
2007
13 years 6 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
CSREASAM
2006
13 years 6 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...