Sciweavers

109 search results - page 10 / 22
» Aspect-Oriented Design with Reusable Aspect Models
Sort
View
WORDS
2003
IEEE
14 years 3 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
APLAS
2006
ACM
14 years 3 months ago
A Fine-Grained Join Point Model for More Reusable Aspects
Abstract. We propose a new join point model for aspect-oriented programming (AOP) languages. In most AOP languages including AspectJ, a join point is a time interval of an action i...
Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
SIGSOFT
2006
ACM
14 years 10 months ago
Exceptions and aspects: the devil is in the details
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...
Alessandro Garcia, Cecília M. F. Rubira, Ed...
AOSD
2009
ACM
14 years 4 months ago
Enforcing security for desktop clients using authority aspects
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
Brett Cannon, Eric Wohlstadter
FMOODS
2007
13 years 11 months ago
A Mechanized Model of the Theory of Objects
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...
Ludovic Henrio, Florian Kammüller