Sciweavers

93 search results - page 2 / 19
» Formal Models for Architecture Aspects and Their Weaving
Sort
View
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
13 years 11 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
GPCE
2004
Springer
13 years 10 months ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
ARCS
2006
Springer
13 years 9 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
IJSEKE
2006
99views more  IJSEKE 2006»
13 years 5 months ago
Weaving Deployment Aspects into Domain-specific Models
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
HASE
2005
IEEE
13 years 11 months ago
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
Péter Domokos, István Majzik